一键导入
github-pr-workflow
GitHub PR lifecycle: branch, commit, open PR, monitor CI, merge.
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
菜单
GitHub PR lifecycle: branch, commit, open PR, monitor CI, merge.
用 Codex 或 Claude 帮你安装 复制这段 Prompt,粘贴到 Codex、Claude 或其他助手里,让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
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"}'