GitHub merge PR

{
  "type": "object",
  "properties": {
    "owner": {
      "type": "string",
      "description": "Repository owner"
    },
    "repo": {
      "type": "string",
      "description": "Repository name"
    },
    "pull_number": {
      "type": "number",
      "description": "Pull request number to merge"
    },
    "commit_title": {
      "type": "string",
      "description": "Merge commit title"
    },
    "commit_message": {
      "type": "string",
      "description": "Merge commit message"
    },
    "merge_method": {
      "type": "string",
      "description": "Merge method: merge, squash, or rebase"
    }
  },
  "required": [
    "owner",
    "repo",
    "pull_number"
  ],
  "description": "Input schema for the github__merge_pr tool."
}