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:*)

Update GitHub PR Body

Instructions

When updating a GitHub PR body:

Get the current PR number (if not provided): bash gh pr list --head "$(git branch --show-current)" --json number --jq '.[0].number'
Get the current PR body to review existing content: bash gh pr view <pr-number> --json body -q '.body'
Update the PR body using the REST API: bash gh api -X PATCH /repos/{owner}/{repo}/pulls/<pr-number> -f body="New PR body content here."

Examples

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."

来源：allenai/open-instruct · MIT 许可 · 许可原文 · MD 为来源页保存的历史版本

update-pr-body

SKILL.md

Update GitHub PR Body

Instructions

Examples