Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
48 changes: 16 additions & 32 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -808,38 +808,6 @@ The following sets of tools are available (all are on by default):
- `pullNumber`: Pull request number (number, required)
- `repo`: Repository name (string, required)

- **get_pull_request** - Get pull request details
- `owner`: Repository owner (string, required)
- `pullNumber`: Pull request number (number, required)
- `repo`: Repository name (string, required)

- **get_pull_request_diff** - Get pull request diff
- `owner`: Repository owner (string, required)
- `pullNumber`: Pull request number (number, required)
- `repo`: Repository name (string, required)

- **get_pull_request_files** - Get pull request files
- `owner`: Repository owner (string, required)
- `page`: Page number for pagination (min 1) (number, optional)
- `perPage`: Results per page for pagination (min 1, max 100) (number, optional)
- `pullNumber`: Pull request number (number, required)
- `repo`: Repository name (string, required)

- **get_pull_request_review_comments** - Get pull request review comments
- `owner`: Repository owner (string, required)
- `pullNumber`: Pull request number (number, required)
- `repo`: Repository name (string, required)

- **get_pull_request_reviews** - Get pull request reviews
- `owner`: Repository owner (string, required)
- `pullNumber`: Pull request number (number, required)
- `repo`: Repository name (string, required)

- **get_pull_request_status** - Get pull request status checks
- `owner`: Repository owner (string, required)
- `pullNumber`: Pull request number (number, required)
- `repo`: Repository name (string, required)

- **list_pull_requests** - List pull requests
- `base`: Filter by base branch (string, optional)
- `direction`: Sort direction (string, optional)
Expand All @@ -859,6 +827,22 @@ The following sets of tools are available (all are on by default):
- `pullNumber`: Pull request number (number, required)
- `repo`: Repository name (string, required)

- **pull_request_read** - Get details for a single pull request
- `method`: Action to specify what pull request data needs to be retrieved from GitHub.
Possible options:
1. get - Get details of a specific pull request.
2. get_diff - Get the diff of a pull request.
3. get_status - Get status of a head commit in a pull request. This reflects status of builds and checks.
4. get_files - Get the list of files changed in a pull request. Use with pagination parameters to control the number of results returned.
5. get_review_comments - Get the review comments on a pull request. Use with pagination parameters to control the number of results returned.
6. get_reviews - Get the reviews on a pull request. When asked for review comments, use get_review_comments method.
(string, required)
- `owner`: Repository owner (string, required)
- `page`: Page number for pagination (min 1) (number, optional)
- `perPage`: Results per page for pagination (min 1, max 100) (number, optional)
- `pullNumber`: Pull request number (number, required)
- `repo`: Repository name (string, required)

- **request_copilot_review** - Request Copilot review
- `owner`: Repository owner (string, required)
- `pullNumber`: Pull request number (number, required)
Expand Down
30 changes: 0 additions & 30 deletions pkg/github/__toolsnaps__/get_pull_request.snap

This file was deleted.

30 changes: 0 additions & 30 deletions pkg/github/__toolsnaps__/get_pull_request_diff.snap

This file was deleted.

41 changes: 0 additions & 41 deletions pkg/github/__toolsnaps__/get_pull_request_files.snap

This file was deleted.

30 changes: 0 additions & 30 deletions pkg/github/__toolsnaps__/get_pull_request_review_comments.snap

This file was deleted.

30 changes: 0 additions & 30 deletions pkg/github/__toolsnaps__/get_pull_request_reviews.snap

This file was deleted.

30 changes: 0 additions & 30 deletions pkg/github/__toolsnaps__/get_pull_request_status.snap

This file was deleted.

46 changes: 46 additions & 0 deletions pkg/github/__toolsnaps__/pull_request_read.snap
Original file line number Diff line number Diff line change
@@ -0,0 +1,46 @@
{
"annotations": {
"title": "Get details for a single pull request",
"readOnlyHint": true
},
"description": "Get information on a specific pull request in GitHub repository.",
"inputSchema": {
"properties": {
"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. 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",
"type": "string"
},
"owner": {
"description": "Repository owner",
"type": "string"
},
"page": {
"description": "Page number for pagination (min 1)",
"minimum": 1,
"type": "number"
},
"perPage": {
"description": "Results per page for pagination (min 1, max 100)",
"maximum": 100,
"minimum": 1,
"type": "number"
},
"pullNumber": {
"description": "Pull request number",
"type": "number"
},
"repo": {
"description": "Repository name",
"type": "string"
}
},
"required": [
"method",
"owner",
"repo",
"pullNumber"
],
"type": "object"
},
"name": "pull_request_read"
}
Loading
Loading