Menú
Update the body of a GitHub pull request. Use when the user asks to update, edit, or modify a PR description/body.
Instalar con Codex o Claude Copia este prompt, pégalo en Codex, Claude u otro asistente, y deja que revise la página de la skill y la instale por ti.
Basado en la clasificación ocupacional SOC
Compare metrics between two wandb runs (new vs old format). Use when comparing DPO training runs to verify metric consistency.
Suggest the minimal permission rule for the most recent denied tool call. Use when Claude was prompted for permission and you want to allow it permanently.
Read review comments on a GitHub PR and fix the issues raised. Use when the user asks to address, fix, or resolve PR comments or review feedback.
Review PyTorch interview prep solutions on the current branch. Use when the user asks to review interview code, review PyTorch solutions, or invokes /review-interview-code.
Remove AI-generated comment slop from a branch diff. Use when the user asks to clean up AI comments, remove slop, or strip unnecessary comments from a branch.
Monitor Beaker experiments until completion. Use when the user asks to monitor, check, or track a Beaker experiment.
| name | update-pr-body |
| description | Update the body of a GitHub pull request. Use when the user asks to update, edit, or modify a PR description/body. |
| allowed-tools | Bash(gh:*) |
Do NOT use gh pr edit --body - it fails with a GraphQL error about Projects (classic) deprecation. Always use the REST API approach below instead.
When updating a GitHub PR body:
Get the current PR number (if not provided):
gh pr list --head "$(git branch --show-current)" --json number --jq '.[0].number'
Get the current PR body to review existing content:
gh pr view <pr-number> --json body -q '.body'
Update the PR body using the REST API:
gh api -X PATCH /repos/{owner}/{repo}/pulls/<pr-number> -f body="New PR body content here."
Get current PR number from branch:
gh pr list --head "$(git branch --show-current)" --json number,url --jq '.[0]'
View current PR body:
gh pr view 1372 --json body -q '.body'
Update PR body with new content:
gh api -X PATCH /repos/allenai/open-instruct/pulls/1372 -f body="## Summary
- Updated vllm to 0.13.0
- Fixed tool_grpo_fast.sh script
## Test Plan
- [x] Single GPU GRPO
- [x] Tool GRPO
- [x] Multi-node GRPO"
When adding a runs section, use this format (numbered list, markdown link labeled "Beaker"):
Runs:
1. Single GPU GRPO: [Beaker](https://beaker.org/ex/EXPERIMENT_ID)
2. Multi-node GRPO: [Beaker](https://beaker.org/ex/EXPERIMENT_ID)
Add to existing body (read first, then append):
# Read the current PR body
CURRENT_BODY=$(gh pr view 1372 --json body -q '.body')
# Append new content
gh api -X PATCH /repos/allenai/open-instruct/pulls/1372 -f body="${CURRENT_BODY}
## Additional Notes
New content appended here."