close_issue
Resolve a GitHub issue by closing it, with an optional comment to explain the closure.
Instructions
Close a GitHub issue, optionally posting a comment.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | GitHub repo in owner/repo format | |
| comment | No | Comment to post when closing (optional) | |
| issue_number | Yes | Issue number to close |