update_pull_request_tool
Update GitHub pull requests by changing title, body, or state. Close or reopen a PR without merging.
Instructions
Update a GitHub pull request, including closing or reopening it.
This does NOT merge. Set state="closed" to close a PR without merging.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| body | No | New body (optional) | |
| repo | Yes | Repository name | |
| owner | No | Repository owner (defaults to GITHUB_DEFAULT_ORG if unset) | |
| state | No | "open" or "closed" | |
| title | No | New title (optional) | |
| pull_number | Yes | Pull request number |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||