| name | github-pr |
| description | Create and manage GitHub pull requests. Supports both jujutsu (jj) and git
version control. Use when submitting PRs, checking PR status, fixing review
feedback, or merging PRs. Triggers on "submit pr", "create pr", "check pr",
"fix review", "pr status", "merge pr".
|
GitHub PR Workflow
Detect VCS
First, determine which version control system is in use:
if [ -d ".jj" ]; then
echo "jujutsu"
else
echo "git"
fi
Pre-flight Checks
Run these checks before submitting any PR:
deno fmt --check
deno lint
deno run test
Fix any issues before proceeding. All checks must pass.
If deno fmt --check fails, run deno fmt to auto-fix formatting, then re-run
the checks.
Create PR
After pushing changes (see VCS reference), create the PR:
gh pr create --head <branch-or-bookmark> --base main --title "Title here" --body "$(cat <<'EOF'
## Summary
Brief description of changes.
## Test Plan
- How the changes were tested
EOF
)"
Check Merge Status
To check if a PR is ready to merge:
gh pr checks <pr-number>
gh pr view <pr-number>
Handle Blocking Reviews
When a PR has blocking review feedback:
-
Get the review comments:
gh pr view <pr-number> --comments
-
Enter plan mode to analyze the feedback and plan fixes
-
Implement the fixes
-
Push updates (see VCS reference for push commands)
-
Re-request review if needed:
gh pr edit <pr-number> --add-reviewer <username>
Handle Suggestions
When reviewers provide non-blocking suggestions:
-
Get suggestions from the review:
gh pr view <pr-number> --comments
-
Enter plan mode to evaluate each suggestion
-
Decide which suggestions to implement (discuss with user if unclear)
-
Implement approved suggestions and push
-
Respond to suggestions you chose not to implement with reasoning
Merge PR
Once all checks pass and reviews are approved:
gh pr merge <pr-number> --squash --delete-branch
gh pr merge <pr-number> --merge --delete-branch