GitHub
add_issue_comment
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.
Remote github
Other tools also called add_issue_comment?
See providers with this name
Input Schema
{
"type": "object",
"properties": {
"body": {
"type": "string",
"description": "Comment content"
},
"repo": {
"type": "string",
"description": "Repository name"
},
"owner": {
"type": "string",
"description": "Repository owner"
},
"issue_number": {
"type": "number",
"description": "Issue number to comment on"
}
}
}