{
  "annotations": {
    "title": "Edit pull request"
  },
  "description": "Update an existing pull request in a GitHub repository.",
  "inputSchema": {
    "type": "object",
    "required": [
      "owner",
      "repo",
      "pullNumber"
    ],
    "properties": {
      "base": {
        "type": "string",
        "description": "New base branch name"
      },
      "body": {
        "type": "string",
        "description": "New description"
      },
      "draft": {
        "type": "boolean",
        "description": "Mark pull request as draft (true) or ready for review (false)"
      },
      "maintainer_can_modify": {
        "type": "boolean",
        "description": "Allow maintainer edits"
      },
      "owner": {
        "type": "string",
        "description": "Repository owner"
      },
      "pullNumber": {
        "type": "number",
        "description": "Pull request number to update"
      },
      "repo": {
        "type": "string",
        "description": "Repository name"
      },
      "reviewers": {
        "type": "array",
        "description": "GitHub usernames to request reviews from",
        "items": {
          "type": "string"
        }
      },
      "state": {
        "type": "string",
        "description": "New state",
        "enum": [
          "open",
          "closed"
        ]
      },
      "title": {
        "type": "string",
        "description": "New title"
      }
    }
  },
  "name": "update_pull_request"
}