Get Pr Diff

{
  "type": "object",
  "properties": {
    "owner": {
      "type": "string",
      "description": "Repository owner"
    },
    "repo": {
      "type": "string",
      "description": "Repository name"
    },
    "pull_number": {
      "type": "number",
      "description": "Pull request number"
    },
    "end_user_id": {
      "type": "string",
      "description": "End-user ID for per-user OAuth token resolution"
    }
  },
  "required": [
    "owner",
    "repo",
    "pull_number"
  ],
  "description": "Input schema for the github:get-pr-diff tool."
}