Update GitHub PR Body

Instructions

When updating a GitHub PR body:

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

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

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

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