Lulu
17aaf6b93e
* migrate with agent * re-add pull_requests toolset, fix whitespace * revert changes not part of migration * revert changes not part of migration
55 lines
2.2 KiB
Plaintext
55 lines
2.2 KiB
Plaintext
{
|
|
"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"
|
|
} |