Accidentalmente volví a ejecutar Codex en un repositorio totalmente no relacionado. Encontró el repositorio correcto solo con el mensaje de error (no se proporcionó ningún enlace de GitHub), encontró el código fuente, lo clonó y comenzó a solucionar el problema. El commit fue de 15,3 mil líneas de código