update_pull_request
Update an existing GitHub pull request by changing its title, description, base branch, or state. Specify the repository and pull request number to apply modifications.
Instructions
Update an existing pull request in a GitHub repository. Docs: https://docs.github.com/en/rest/pulls/pulls#update-a-pull-request
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| base | No | New base branch name | |
| body | No | New pull request body/description | |
| repo | Yes | Repository name | |
| owner | Yes | Repository owner (user or organization login) | |
| state | No | New pull request state | |
| title | No | New pull request title | |
| pull_number | Yes | Pull request number | |
| maintainer_can_modify | No | Whether maintainers can modify the pull request |