{ "annotations": { "title": "Get details for a single pull request", "readOnlyHint": true }, "description": "Get information on a specific pull request in GitHub repository.", "inputSchema": { "properties": { "cursor": { "description": "Cursor for pagination. Use the cursor value from the previous response's pagination metadata to retrieve the next page. Leave blank for the first page.", "type": "string" }, "method": { "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" ], "type": "string" }, "owner": { "description": "Repository owner", "type": "string" }, "pullNumber": { "description": "Pull request number", "type": "number" }, "repo": { "description": "Repository name", "type": "string" } }, "required": [ "method", "owner", "repo", "pullNumber" ], "type": "object" }, "name": "pull_request_read" }