github_issues_create_comment
Post a comment to a GitHub issue or pull request using owner, repo, issue number, and body; PR numbers work too.
Instructions
Post a comment on an issue or pull request. Pull requests take their own number here — GitHub treats them as issues for commenting.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| body | Yes | The comment to post. | |
| repo | Yes | The name of the repository without the `.git` extension. The name is not case sensitive. | |
| owner | Yes | The account owner of the repository. The name is not case sensitive. | |
| issueNumber | Yes | The number that identifies the issue. A pull request number works here too — GitHub treats pull requests as issues for commenting. |