Close a GitHub issue
github_issue_closeClose a GitHub issue with a reason (completed, not planned, or duplicate), optionally posting a comment and notifying followers; already-closed issues are left unchanged.
Instructions
Close an issue with a reason: completed, not_planned or duplicate (duplicate_of names the original, in the same forms as an issue). The comment, if any, is posted as it closes, and the people following the issue are notified. An issue that is closed already is left as it is: nothing is sent, the comment is not posted, changed is false and state_reason is its current reason. An issue is 12, #12, owner/repo#12 or its URL; a bare number means the working tree's repository, or repo.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | No | owner/name; defaults to the working tree's repository (its origin). Used for a bare number. | |
| issue | Yes | The issue, as 12, #12, owner/repo#12 or its URL. | |
| reason | Yes | Why it is closed. | |
| comment | No | A comment to post as the issue closes. | |
| duplicate_of | No | With reason duplicate: the issue it duplicates, as 12, #12, owner/repo#12 or its URL. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | ||
| issue | Yes | ||
| changed | Yes | False when the issue was closed already and nothing was sent. | |
| foreign | Yes | ||
| state_reason | Yes | The reason the issue is closed with now. |