github_issues_create_comment
Add a comment to a GitHub issue by providing the owner, repository, issue number, and comment body.
Instructions
Create an issue comment
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | owner | |
| repo | Yes | repo | |
| issue_number | Yes | issue_number | |
| body | No | Request body (JSON object) |