add-issue-comment
Add a comment to an existing GitHub issue by specifying the repository owner, repository name, issue number, and comment content.
Instructions
Add a comment to an existing issue
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| body | Yes | ||
| issue_number | Yes | ||
| owner | Yes | ||
| repo | Yes |
Input Schema (JSON Schema)
{
"properties": {
"body": {
"type": "string"
},
"issue_number": {
"type": "number"
},
"owner": {
"type": "string"
},
"repo": {
"type": "string"
}
},
"required": [
"owner",
"repo",
"issue_number",
"body"
],
"type": "object"
}