4 ms·

Hmm, this seems promising? https://github.com/openai/codex/pull/9796 https://github.com/openai/codex/pull/9796

• wahnfrieden 9mo ago
  OpenAI does not merge feature PRs. But you could try it out in a fork.
  • copperx 9mo ago
    Thanks. I didn't know they didn't merge those.
  • jswny 9mo ago
    What’s the point of having a public GitHub repo with PRs enabled if they will never merge any of them?
    • wahnfrieden 9mo ago
      They merge bugfixes and documentation and they allow discussion in employee PRs