close_issue
Close a specified GitHub issue in a repository. Provide the owner, repo name, and issue number to resolve it.
Instructions
Cierra un issue abierto en un repositorio de GitHub. Usa este tool cuando el usuario pida cerrar, resolver o finalizar un issue específico. Requiere el número del issue.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Nombre del repositorio. Debe tener entre 3 y 100 caracteres, solo letras, números, guiones y puntos. Ejemplo: mi-proyecto. | |
| owner | Yes | Usuario o organización de GitHub dueña del repositorio. Ejemplo: shakatoti1618. | |
| issueNumber | Yes | Número del issue a cerrar. Ejemplo: 12. |