add_issue_comment
Add a comment to an existing GitHub issue by specifying the repository owner, repository name, issue number, and comment body. Use this tool to provide feedback, updates, or additional context directly on GitHub issues.
Instructions
Add a comment to an existing issue
Input Schema
Name | Required | Description | Default |
---|---|---|---|
body | Yes | ||
issue_number | Yes | ||
owner | Yes | ||
repo | Yes |