list_pull_request_comments
List all comments on a GitHub pull request by specifying owner, repo, and pull number. Quickly review feedback and discussion history to stay informed on PR progress.
Instructions
Lista los comentarios de un Pull Request
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Nombre del repositorio | |
| owner | Yes | Usuario u organización propietaria del repositorio | |
| pull_number | Yes | Número del Pull Request |