GitHub
update_pull_request
Update an existing pull request in a GitHub repository.
Remote github
Other tools also called update_pull_request?
See providers with this name
Input Schema
{
"type": "object",
"properties": {
"base": {
"type": "string",
"description": "New base branch name"
},
"body": {
"type": "string",
"description": "New description"
},
"repo": {
"type": "string",
"description": "Repository name"
},
"draft": {
"type": "boolean",
"description": "Mark pull request as draft (true) or ready for review (false)"
},
"owner": {
"type": "string",
"description": "Repository owner"
},
"state": {
"enum": [
"open",
"closed"
],
"type": "string",
"description": "New state"
},
"title": {
"type": "string",
"description": "New title"
},
"reviewers": {
"type": "array",
"items": {
"type": "string"
},
"description": "GitHub usernames to request reviews from"
},
"pullNumber": {
"type": "number",
"description": "Pull request number to update"
},
"maintainer_can_modify": {
"type": "boolean",
"description": "Allow maintainer edits"
}
}
}