| name | submit-pr |
| description | Creates a pull request with a well-structured description after verifying CI passes. Use when the user asks to submit, create, or open a pull request. |
| disable-model-invocation | true |
Submit PR
Create a pull request for the current branch with a well-structured description.
⚠️ GIT IS ALLOWED HERE — this is the exception to the repo-wide "no git" rule, and pretty much the only one. For the purpose of submitting and monitoring PRs you MAY run git add / git commit / git push and the gh PR commands — to open the PR, push fixes that turn a red pipeline green, and enable/observe auto-merge. That is the entire licence: everything else (checkout, merge, rebase, force-push, history rewrites, cutting new branches) stays forbidden. One ironclad condition: NEVER stamp yourself as co-author — no Co-Authored-By trailer, no agent attribution, ever. This condition is never overridable. ⚠️
Steps
NOTE: if you already ran make ci in this session and it passed, you can skip step 1.
- Run
make ci — must pass completely before creating PR
- Generate the diff against main. Run
git diff main...HEAD > /tmp/pr-diff.txt to capture the full diff between the current branch and the head of main. This is the ONLY source of truth for what the PR contains. Warning: the diff can be very large. If the diff file exceeds context limits, process it in chunks (e.g., read sections with / or split by file) rather than trying to load it all at once.
