Update GitHub PR Body

Instructions

When updating a GitHub PR body:

1. Get the current PR number (if not provided):

``bash gh pr list --head "$(git branch --show-current)" --json number --jq '.[0].number' ``

1. Get the current PR body to review existing content:

``bash gh pr view <pr-number> --json body -q '.body' ``

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