3ba8d4a122
* Issues consolidation * Issues consolidation * Clarify get_review_comments description * Add get_comments method * Formatting fixes * Clarify tool description * Clarify tool descriptions
35 lines
927 B
Plaintext
35 lines
927 B
Plaintext
{
|
|
"annotations": {
|
|
"title": "Add comment to issue",
|
|
"readOnlyHint": false
|
|
},
|
|
"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.",
|
|
"inputSchema": {
|
|
"properties": {
|
|
"body": {
|
|
"description": "Comment content",
|
|
"type": "string"
|
|
},
|
|
"issue_number": {
|
|
"description": "Issue number to comment on",
|
|
"type": "number"
|
|
},
|
|
"owner": {
|
|
"description": "Repository owner",
|
|
"type": "string"
|
|
},
|
|
"repo": {
|
|
"description": "Repository name",
|
|
"type": "string"
|
|
}
|
|
},
|
|
"required": [
|
|
"owner",
|
|
"repo",
|
|
"issue_number",
|
|
"body"
|
|
],
|
|
"type": "object"
|
|
},
|
|
"name": "add_issue_comment"
|
|
} |