Skip to content

Commit fa3f912

Browse files
committed
Clarify tool descriptions
1 parent 6176fd9 commit fa3f912

4 files changed

Lines changed: 11 additions & 9 deletions

File tree

README.md

Lines changed: 6 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -580,10 +580,10 @@ The following sets of tools are available (all are on by default):
580580
- `issue_number`: The number of the issue (number, required)
581581
- `method`: The read operation to perform on a single issue.
582582
Options are:
583-
1. 'get' - get issue details
584-
2. 'get_comments' - get issue comments
585-
3. 'get_sub_issues' - list sub-issues of the issue
586-
4. 'get_labels' - list labels assigned to the issue
583+
1. get - Get details of a specific issue.
584+
2. get_comments - Get issue comments.
585+
3. get_sub_issues - Get sub-issues of the issue.
586+
4. get_labels - Get labels assigned to the issue.
587587
(string, required)
588588
- `owner`: The owner of the repository (string, required)
589589
- `page`: Page number for pagination (min 1) (number, optional)
@@ -836,8 +836,9 @@ Possible options:
836836
2. get_diff - Get the diff of a pull request.
837837
3. get_status - Get status of a head commit in a pull request. This reflects status of builds and checks.
838838
4. get_files - Get the list of files changed in a pull request. Use with pagination parameters to control the number of results returned.
839-
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. These are different from commit comments and issue comments in a pull request. Use with pagination parameters to control the number of results returned.
839+
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.
840840
6. get_reviews - Get the reviews on a pull request. When asked for review comments, use get_review_comments method.
841+
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.
841842
(string, required)
842843
- `owner`: Repository owner (string, required)
843844
- `page`: Page number for pagination (min 1) (number, optional)

pkg/github/__toolsnaps__/add_issue_comment.snap

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
"title": "Add comment to issue",
44
"readOnlyHint": false
55
},
6-
"description": "Add a comment to a specific issue in a GitHub repository.",
6+
"description": "Add a comment to a specific issue in a GitHub repository. Use this tool to add comments to pull requests as well (in this case pass pull request number as issue_number), but only if user is not asking specifically to add review comments.",
77
"inputSchema": {
88
"properties": {
99
"body": {

pkg/github/__toolsnaps__/issue_read.snap

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111
"type": "number"
1212
},
1313
"method": {
14-
"description": "The read operation to perform on a single issue. \nOptions are: \n1. 'get' - get issue details\n2. 'get_comments' - get issue comments\n3. 'get_sub_issues' - list sub-issues of the issue\n4. 'get_labels' - list labels assigned to the issue\n",
14+
"description": "The read operation to perform on a single issue. \nOptions are: \n1. get - Get details of a specific issue.\n2. get_comments - Get issue comments.\n3. get_sub_issues - Get sub-issues of the issue.\n4. get_labels - Get labels assigned to the issue.\n",
1515
"enum": [
1616
"get",
1717
"get_comments",

pkg/github/__toolsnaps__/pull_request_read.snap

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,14 +7,15 @@
77
"inputSchema": {
88
"properties": {
99
"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",
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. 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",
1111
"enum": [
1212
"get",
1313
"get_diff",
1414
"get_status",
1515
"get_files",
1616
"get_review_comments",
17-
"get_reviews"
17+
"get_reviews",
18+
"get_comments"
1819
],
1920
"type": "string"
2021
},

0 commit comments

Comments
 (0)