github_create_issue_comment
Add a comment to a GitHub issue by providing the repository owner, repo name, issue number, and markdown-supported comment body to communicate directly within the issue thread.
Instructions
Add a comment on an issue.
Args: owner: Repository owner repo: Repository name issue_number: Issue number body: Comment body (markdown supported) session_name: GitHub session to use
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| body | Yes | ||
| repo | Yes | ||
| owner | Yes | ||
| issue_number | Yes | ||
| session_name | No | default |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |