github_comment_on_issue

Posts a comment on an existing issue or pull request in the active repo, by its number.

Other issues & pull requests tools

• github_list_issues
• github_create_issue
• github_list_pull_requests