close_issue
Close a GitHub issue by specifying the repository owner, repository name, and issue number. Manage issue resolution through natural language commands.
Instructions
Cierra un issue
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Nombre del repositorio | |
| owner | Yes | Propietario del repositorio | |
| issue_number | Yes | Número del issue |