github_close_issue
Close a GitHub issue by specifying the repository owner, repository name, and issue number, resolving open issues directly through natural language commands.
Instructions
Close an issue.
Args: owner: Repository owner repo: Repository name issue_number: Issue number to close session_name: GitHub session to use
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | ||
| owner | Yes | ||
| issue_number | Yes | ||
| session_name | No | default |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |