メニュー
Update the body of a GitHub pull request. Use when the user asks to update, edit, or modify a PR description/body.
デフォルトでは、最初にソースを確認する Prompt が選択されています。直接コマンドに切り替えるか、ローカルコピーをダウンロードすることもできます。
インストールを決める前に、SKILL.md と SkillsMP に表示されている付属ファイルをお読みください。
SOC 職業分類に基づく
Codex または Claude でインストール この Prompt をコピーして Codex、Claude、または他のアシスタントに貼り付けると、Skill ページを確認してインストールできます。
直接コマンドでは確認用 Prompt が省略されます。実行前にソースを確認してください。
npx skills add https://github.com/allenai/open-instruct --skill update-pr-bodyコマンドは1行のまま表示されます。コピー前に横へスクロールして全体を確認してください。
ローカルで確認しますか？SkillsMP が現在取得できるファイルをダウンロードできます。
SKILL.md を表示中
| 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"
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."