update_pull_request
Modify a GitHub pull request by updating its title, description, or status to manage project workflows and collaboration.
Instructions
Update a pull request's title, body, or state
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| pullNumber | Yes | ||
| title | No | ||
| body | No | ||
| state | No |