{ "annotations": { "readOnlyHint": true, "title": "Get details for a single pull request" }, "description": "Get information on a specific pull request in GitHub repository.", "inputSchema": { "type": "object", "required": [ "method", "owner", "repo", "pullNumber" ], "properties": { "method": { "type": "string", "description": "Action to specify what pull request data needs to be retrieved from GitHub. \nPossible options: \n 1. get - Get details of a specific pull request.\n 2. get_diff - Get the diff of a pull request.\n 3. get_status - Get status of a head commit in a pull request. This reflects status of builds and checks.\n 4. get_files - Get the list of files changed in a pull request. Use with pagination parameters to control the number of results returned.\n 5. get_review_comments - Get the review comments on a pull request. They are comments made on a portion of the unified diff during a pull request review. Use with pagination parameters to control the number of results returned.\n 6. get_reviews - Get the reviews on a pull request. When asked for review comments, use get_review_comments method.\n 7. get_comments - Get comments on a pull request. Use this if user doesn't specifically want review comments. Use with pagination parameters to control the number of results returned.\n", "enum": [ "get", "get_diff", "get_status", "get_files", "get_review_comments", "get_reviews", "get_comments" ] }, "owner": { "type": "string", "description": "Repository owner" }, "page": { "type": "number", "description": "Page number for pagination (min 1)", "minimum": 1 }, "perPage": { "type": "number", "description": "Results per page for pagination (min 1, max 100)", "minimum": 1, "maximum": 100 }, "pullNumber": { "type": "number", "description": "Pull request number" }, "repo": { "type": "string", "description": "Repository name" } } }, "name": "pull_request_read" }