Menu
GitHub PR lifecycle: branch, commit, open PR, monitor CI, merge.
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
Karpathy-inspired guidelines: Think before coding, Simplicity first, Surgical changes, Goal-driven execution
Use when you have a written implementation plan to execute in a separate session with review checkpoints
Write an actionable markdown plan before implementation. Bite-sized tasks, exact paths, complete code.
Write clear Conventional Commits. Imperative subject, explain why not what, one logical change per commit.
Optimize based on measurement, never guesswork. Profile first, fix the real bottleneck, verify the win.
Refactor code without changing behavior. Small steps, green tests after every change, no mixing with feature work.
| name | github-pr-workflow |
| description | GitHub PR lifecycle: branch, commit, open PR, monitor CI, merge. |
Manages the full PR lifecycle using gh CLI where available, git + curl as fallback.
git fetch origin
git checkout main && git pull origin main
git checkout -b feat/descriptive-name
Conventions: feat/, fix/, refactor/, docs/, ci/, test/
Use write and edit tools for changes, then:
git add path/to/file.go
git commit -m "feat: brief description of change"
Commit message format: type: description
Types: feat, fix, refactor, test, docs, chore, ci
git push -u origin feat/descriptive-name
gh pr create --title "feat: description" --body "## Summary\n\n...\n\n## Test Plan\n\n..."
Without gh:
OWNER=$(git remote get-url origin | sed -E 's|.*github\.com[:/]||; s|\.git$||' | cut -d/ -f1)
REPO=$(git remote get-url origin | sed -E 's|.*github\.com[:/]||; s|\.git$||' | cut -d/ -f2)
curl -H "Authorization: token $GITHUB_TOKEN" \
-H "Accept: application/vnd.github.v3+json" \
"https://api.github.com/repos/$OWNER/$REPO/pulls" \
-d '{"title":"feat: desc","head":"feat/descriptive-name","base":"main","body":"..."}'
gh pr checks
gh pr view --json state,statusCheckRollup
gh pr merge --squash --delete-branch
git checkout main && git pull origin main
Without gh:
curl -X PUT -H "Authorization: token $GITHUB_TOKEN" \
"https://api.github.com/repos/$OWNER/$REPO/pulls/$PR_NUMBER/merge" \
-d '{"merge_method":"squash"}'