add_issue_comment
Add a comment to a GitHub issue by specifying the owner, repository, issue number, and Markdown content to post feedback or updates.
Instructions
Agrega un comentario a un issue
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| body | Yes | Contenido del comentario en Markdown | |
| repo | Yes | Nombre del repositorio | |
| owner | Yes | Propietario del repositorio | |
| issue_number | Yes | Número del issue |