add_issue_comment
Add comments to GitHub issues or pull requests to provide feedback, ask questions, or communicate with collaborators.
Instructions
Add a comment to a GitHub issue or pull request.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Repository in 'owner/repo' format. | |
| issue_number | Yes | Issue or PR number. | |
| body | Yes | Comment text (markdown supported). | |
| dry_run | No | If True, preview without executing. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |