{
  "annotations": {
    "title": "Merge pull request"
  },
  "description": "Merge a pull request in a GitHub repository.",
  "inputSchema": {
    "type": "object",
    "required": [
      "owner",
      "repo",
      "pullNumber"
    ],
    "properties": {
      "commit_message": {
        "type": "string",
        "description": "Extra detail for merge commit"
      },
      "commit_title": {
        "type": "string",
        "description": "Title for merge commit"
      },
      "merge_method": {
        "type": "string",
        "description": "Merge method",
        "enum": [
          "merge",
          "squash",
          "rebase"
        ]
      },
      "owner": {
        "type": "string",
        "description": "Repository owner"
      },
      "pullNumber": {
        "type": "number",
        "description": "Pull request number"
      },
      "repo": {
        "type": "string",
        "description": "Repository name"
      }
    }
  },
  "name": "merge_pull_request"
}