Github Get Pr

{
  "type": "object",
  "properties": {
    "owner": {
      "type": "string",
      "description": "Repository owner"
    },
    "repo": {
      "type": "string",
      "description": "Repository name"
    },
    "pull_number": {
      "type": "number",
      "description": "Pull request number"
    }
  },
  "required": [
    "owner",
    "repo",
    "pull_number"
  ],
  "description": "Input schema for the github__get_pr tool."
}