Create issue or pull request comment
gh_create_commentAdd a comment to a GitHub issue or pull request after verifying the repository and issue identity via an API call.
Instructions
Additive write: post exactly one bounded Markdown conversation comment on the specified issue or pull request after ordinary write authorization. The mutation is attempted once through the issue-comments REST endpoint, and authoritative readback of the returned immutable comment ID verifies repository and issue identity plus the requested body. It is not a formal pull-request review and cannot merge.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| body | Yes | Markdown comment body. | |
| repo | Yes | GitHub repository name without the owner prefix. | |
| owner | Yes | GitHub repository owner or organization login. | |
| issue_number | Yes | Issue or pull request number to comment on. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| url | Yes | ||
| message | Yes | ||
| warning | No | ||
| comment_id | No | ||
| request_id | No | ||
| write_completed | Yes | ||
| readback_completed | Yes | ||
| precondition_checked | Yes | ||
| state_matches_requested | Yes |