mirror of
https://github.com/openai/codex.git
synced 2026-11-06 20:20:34 +00:00
Keep configured `github-pr` status line and terminal title entries when `gh` is unavailable and the setup picker hides the option. This avoids silently deleting the setting when users confirm unrelated picker edits.