Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Commitd0d4b0e

Browse files
authored
Consolidating pull requestsget tools (#1172)
* Consolidating tools draft* Consolidate pullrequest tools* Prompt tweaks* Fixes
1 parent8a69a5c commitd0d4b0e

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)

[8]ページ先頭

©2009-2025 Movatter.jp