Skip to content

Commit d0d4b0e

Browse files
authored
Consolidating pull requests get tools (#1172)
* Consolidating tools draft * Consolidate pullrequest tools * Prompt tweaks * Fixes
1 parent 8a69a5c commit d0d4b0e

11 files changed

+341
-640
lines changed

README.md

Lines changed: 16 additions & 32 deletions
Original file line numberDiff line numberDiff line change
@@ -808,38 +808,6 @@ The following sets of tools are available (all are on by default):
808808
- `pullNumber`: Pull request number (number, required)
809809
- `repo`: Repository name (string, required)
810810

811-
- **get_pull_request** - Get pull request details
812-
- `owner`: Repository owner (string, required)
813-
- `pullNumber`: Pull request number (number, required)
814-
- `repo`: Repository name (string, required)
815-
816-
- **get_pull_request_diff** - Get pull request diff
817-
- `owner`: Repository owner (string, required)
818-
- `pullNumber`: Pull request number (number, required)
819-
- `repo`: Repository name (string, required)
820-
821-
- **get_pull_request_files** - Get pull request files
822-
- `owner`: Repository owner (string, required)
823-
- `page`: Page number for pagination (min 1) (number, optional)
824-
- `perPage`: Results per page for pagination (min 1, max 100) (number, optional)
825-
- `pullNumber`: Pull request number (number, required)
826-
- `repo`: Repository name (string, required)
827-
828-
- **get_pull_request_review_comments** - Get pull request review comments
829-
- `owner`: Repository owner (string, required)
830-
- `pullNumber`: Pull request number (number, required)
831-
- `repo`: Repository name (string, required)
832-
833-
- **get_pull_request_reviews** - Get pull request reviews
834-
- `owner`: Repository owner (string, required)
835-
- `pullNumber`: Pull request number (number, required)
836-
- `repo`: Repository name (string, required)
837-
838-
- **get_pull_request_status** - Get pull request status checks
839-
- `owner`: Repository owner (string, required)
840-
- `pullNumber`: Pull request number (number, required)
841-
- `repo`: Repository name (string, required)
842-
843811
- **list_pull_requests** - List pull requests
844812
- `base`: Filter by base branch (string, optional)
845813
- `direction`: Sort direction (string, optional)
@@ -859,6 +827,22 @@ The following sets of tools are available (all are on by default):
859827
- `pullNumber`: Pull request number (number, required)
860828
- `repo`: Repository name (string, required)
861829

830+
- **pull_request_read** - Get details for a single pull request
831+
- `method`: Action to specify what pull request data needs to be retrieved from GitHub.
832+
Possible options:
833+
1. get - Get details of a specific pull request.
834+
2. get_diff - Get the diff of a pull request.
835+
3. get_status - Get status of a head commit in a pull request. This reflects status of builds and checks.
836+
4. get_files - Get the list of files changed in a pull request. Use with pagination parameters to control the number of results returned.
837+
5. get_review_comments - Get the review comments on a pull request. Use with pagination parameters to control the number of results returned.
838+
6. get_reviews - Get the reviews on a pull request. When asked for review comments, use get_review_comments method.
839+
(string, required)
840+
- `owner`: Repository owner (string, required)
841+
- `page`: Page number for pagination (min 1) (number, optional)
842+
- `perPage`: Results per page for pagination (min 1, max 100) (number, optional)
843+
- `pullNumber`: Pull request number (number, required)
844+
- `repo`: Repository name (string, required)
845+
862846
- **request_copilot_review** - Request Copilot review
863847
- `owner`: Repository owner (string, required)
864848
- `pullNumber`: Pull request number (number, required)

pkg/github/__toolsnaps__/get_pull_request.snap

Lines changed: 0 additions & 30 deletions
This file was deleted.

pkg/github/__toolsnaps__/get_pull_request_diff.snap

Lines changed: 0 additions & 30 deletions
This file was deleted.

pkg/github/__toolsnaps__/get_pull_request_files.snap

Lines changed: 0 additions & 41 deletions
This file was deleted.

pkg/github/__toolsnaps__/get_pull_request_review_comments.snap

Lines changed: 0 additions & 30 deletions
This file was deleted.

pkg/github/__toolsnaps__/get_pull_request_reviews.snap

Lines changed: 0 additions & 30 deletions
This file was deleted.

pkg/github/__toolsnaps__/get_pull_request_status.snap

Lines changed: 0 additions & 30 deletions
This file was deleted.
Lines changed: 46 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,46 @@
1+
{
2+
"annotations": {
3+
"title": "Get details for a single pull request",
4+
"readOnlyHint": true
5+
},
6+
"description": "Get information on a specific pull request in GitHub repository.",
7+
"inputSchema": {
8+
"properties": {
9+
"method": {
10+
"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. 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",
11+
"type": "string"
12+
},
13+
"owner": {
14+
"description": "Repository owner",
15+
"type": "string"
16+
},
17+
"page": {
18+
"description": "Page number for pagination (min 1)",
19+
"minimum": 1,
20+
"type": "number"
21+
},
22+
"perPage": {
23+
"description": "Results per page for pagination (min 1, max 100)",
24+
"maximum": 100,
25+
"minimum": 1,
26+
"type": "number"
27+
},
28+
"pullNumber": {
29+
"description": "Pull request number",
30+
"type": "number"
31+
},
32+
"repo": {
33+
"description": "Repository name",
34+
"type": "string"
35+
}
36+
},
37+
"required": [
38+
"method",
39+
"owner",
40+
"repo",
41+
"pullNumber"
42+
],
43+
"type": "object"
44+
},
45+
"name": "pull_request_read"
46+
}

0 commit comments

Comments
 (0)