close_issue
Close an open GitHub issue by number when it is resolved or the user requests closure.
Instructions
Cierra un issue abierto de un repositorio de GitHub a partir de su número. Úsalo cuando el usuario diga que un issue está resuelto o pida cerrarlo.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"repo": "<repo>",
"issueNumber": "<issueNumber>"
},
"name": "close_issue"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Nombre del repositorio | |
| owner | No | Usuario u organización dueña del repositorio. Si se omite, se usa el usuario autenticado | |
| issueNumber | Yes | Número del issue a cerrar (ej: 3 para el issue #3) |