create_issue_comment_tool
Post a Markdown comment to a GitHub issue or pull request.
Instructions
Create a comment on a GitHub issue or pull request.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Repository name | |
| issue_number | Yes | Issue or pull request number | |
| body | Yes | Comment body (Markdown) | |
| owner | No | Repository owner (defaults to GITHUB_DEFAULT_ORG if unset) |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||