push-pr
Commit the working tree, push the branch, and open a pull request with the repository template filled in from the real diff. Use when you say push and open a PR, open a pull request, or push this branch. Do NOT use to run the pre-ship review gates (use ship), and do NOT use to validate PR metadata alone (use validate-pr-description).
- License
- MIT
Pinned to revision 6e62f3d0a901, so it is the text this page describes rather than whatever the author pushed since.
Pre-approved tools experimental
Experimental field. Support varies between clients, so this list is what the author declared, not what your client will enforce.
- Bash(git checkout -b:*)
- Bash(git switch -c:*)
- Bash(git add:*)
- Bash(git status:*)
- Bash(git push:*)
- Bash(git commit:*)
- Bash(python3:-I */pr/new_pr.py*)
- Bash(git diff:*)
- Bash(git branch:*)
- Bash(mkdir:-p .project-toolkit/scratch)
- Edit(.project-toolkit/scratch/pr-body-*.md)
Files
Every link opens the file at its source, pinned to the revision this page describes.