Github Project Manager

update_pull_request

Update an existing pull request in a GitHub repository

Input Schema

NameRequiredDescriptionDefault
baseNoThe name of the branch you want the changes pulled into
bodyNoNew pull request body
maintainer_can_modifyNoWhether maintainers can modify the pull request
ownerYesRepository owner (username or organization)
pull_numberYesPull request number
repoYesRepository name
stateNoNew pull request state
titleNoNew pull request title

Input Schema (JSON Schema)

{ "$schema": "http://json-schema.org/draft-07/schema#", "additionalProperties": false, "properties": { "base": { "description": "The name of the branch you want the changes pulled into", "type": "string" }, "body": { "description": "New pull request body", "type": "string" }, "maintainer_can_modify": { "description": "Whether maintainers can modify the pull request", "type": "boolean" }, "owner": { "description": "Repository owner (username or organization)", "type": "string" }, "pull_number": { "description": "Pull request number", "type": "number" }, "repo": { "description": "Repository name", "type": "string" }, "state": { "description": "New pull request state", "enum": [ "open", "closed" ], "type": "string" }, "title": { "description": "New pull request title", "type": "string" } }, "required": [ "owner", "repo", "pull_number" ], "type": "object" }