update_pull_request
Modify an open or closed pull request on GitHub by changing its title, body, state, or base branch. Update PR details programmatically.
Instructions
Update an existing pull request (title, body, state, base)
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| base | No | ||
| body | No | ||
| repo | Yes | ||
| owner | Yes | ||
| state | No | ||
| title | No | ||
| pull_number | Yes |