github_comment
[WRITE — public] Post a comment on a GitHub issue or pull request, and optionally close the issue. Requires confirm:true.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| body | Yes | Comment text, Markdown | |
| repo | Yes | Repository as owner/name, e.g. "octocat/hello-world" (a github.com URL works too) | |
| close | No | Also close the issue/PR after commenting (optional) | |
| number | Yes | Issue or pull request number | |
| confirm | No | Must be true to actually do this on GitHub. Omit/false to refuse (safety gate). |