github_add_comment
Add comments to GitHub issues and pull requests using markdown formatting to provide feedback, updates, or documentation.
Instructions
Add a comment to an issue or PR. Supports markdown formatting.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| issue_number | Yes | Issue or PR number | |
| body | Yes | Comment body (markdown supported) |