github_issues_delete_comment
Delete a specific comment on a GitHub issue by providing the repository owner, repo name, and comment ID.
Instructions
Delete an issue comment
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| owner | Yes | owner | |
| repo | Yes | repo | |
| comment_id | Yes | comment_id |