| name | pr_open |
| description | Create a branch commit, push it, and open a GitHub pull request linked to the issue. |
| user-invocable | true |
| requires | {"bins":["git","gh"]} |
PR Open
Use this skill when code changes are complete and verified and you need to create the branch commit and pull request.
Workflow
- Check
git status --short.
- Review the staged or unstaged changes before committing.
- Commit with a concise message that reflects the issue.
- Push the branch to origin.
- Open a PR with
gh pr create.
- Make sure the PR body includes
Refs #<issue-number>.
- Load
issue_sync to leave a concise issue update containing the PR URL and verification summary.
Rules
- Do not use
Closes #<issue-number> by default.
- Keep the PR body short and concrete.
- Mention the verification commands you actually ran.