| name | commit-push-pr |
| description | Create a branch if needed, commit working-tree changes, push to origin, and open a GitHub pull request with gh. Use when the user asks to commit-push-pr, ship a PR, or commit push and open a pull request in one go. |
| disable-model-invocation | true |
Commit, push, and open a PR
Prefer git and gh tools only for this workflow.
Gather context first (run in parallel):
git status
git diff HEAD
git branch --show-current
Based on the above changes:
- Create a new branch if on
main (or the repo's default branch).
- Create a single commit with an appropriate conventional commit message.
- Push the branch to origin.
- Create a pull request using
gh pr create.
- Do all of the above in a single message via parallel tool calls where possible. Do not use unrelated tools. Do not send other text besides the tool calls until the PR URL is available, then report the PR URL.
- Use conventional commit messages and PR titles.