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
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": {
"owner": "<owner>",
"repo": "<repo>",
"pull_number": "<pull_number>"
},
"name": "list_pull_request_comments"
}
}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 |