OpenAI is building a GitHub alternative into Codex, and it could change how developers work How-To Geek