1 published skills
Update the body of a GitHub pull request. Use when the user asks to update, edit, or modify a PR description/body.
