Use only when the user explicitly asks to stage, commit, push, and open a GitHub pull request in one flow using the GitHub CLI (`gh`).
gh. Check gh --version. If missing, ask the user to install gh and stop.gh session. Run gh auth status. If not authenticated, ask the user to run gh auth login (and re-run gh auth status) before continuing.codex/{description} when starting from main/master/default.{description} (terse).[codex] {description} summarizing the full diff.git checkout -b "codex/{description}"git status -sb then git add -A.git commit -m "{description}"git push -u origin $(git branch --show-current)GH_PROMPT_DISABLED=1 GIT_TERMINAL_PROMPT=0 gh pr create --draft --fill --head $(git branch --show-current)