update_pull_request

Update an existing pull request in a GitHub repository

Input Schema

Name	Required	Description
`base`	No	The name of the branch you want the changes pulled into
`body`	No	New pull request body
`maintainer_can_modify`	No	Whether maintainers can modify the pull request
`owner`	Yes	Repository owner (username or organization)
`pull_number`	Yes	Pull request number
`repo`	Yes	Repository name
`state`	No	New pull request state
`title`	No	New 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"

Github Project Manager

update_pull_request

Input Schema

Input Schema (JSON Schema)

Other Tools