github_update_pr
Update a pull request's title, body, base branch, or state to keep it accurate and current. Specify the repository, PR number, and desired changes to modify the pull request.
Instructions
Update a pull request's title, body, base branch, or state.
Args: owner: Repository owner repo: Repository name pr_number: PR number title: New title (empty = no change) body: New body (empty = no change) base: New base branch (empty = no change) state: New state — 'open' or 'closed' (empty = no change) session_name: GitHub session to use
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| base | No | ||
| body | No | ||
| repo | Yes | ||
| owner | Yes | ||
| state | No | ||
| title | No | ||
| pr_number | Yes | ||
| session_name | No | default |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |