name: pr-submit description: Create or update a GitHub Pull Request — use ONLY when explicitly asked to create/submit/open a PR
When to use
Only when the user explicitly asks to create, submit, or open a Pull Request. Do NOT invoke this skill for plain commit or push requests.
Constraints
- Prepend
GH_PAGER=to everyghcommand (bash/zsh), or set$env:GH_PAGER=""in PowerShell — never modify global config
Procedure
- Verify & clean — ensure changes are complete, correct, and free of debug artifacts
- Commit & push:
- If on
master, create a new feature branch first (avoid name conflicts) - Commit all changes and push to remote
- If on
- Create or update PR:
- Check if current branch already has a PR (
gh pr list --head <BRANCH>) - Exists: update title/description to reflect new commits
- None: create PR against
masterwith title/description derived from changes
- Check if current branch already has a PR (
Output
- What changed, why, impact, and how to verify