Update Pull Request Tool
update_pull_request_toolUpdate a GitHub pull request's title, body, or state to close or reopen it without merging. Set state=closed to close 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 | |||