Good PR automatically closed by bot
Resolved 💬 1 comment Opened Aug 8, 2025 by zeenix Closed Aug 8, 2025
https://github.com/openai/codex/pull/2007 was closed by an agent that obviously didn't understand it.
This issue has 1 comment on GitHub. Read the full discussion on GitHub ↗