How OpenAI built Pando, a Git-compatible backend designed for the scale of development that Codex makes possible.