github_list_pull_requests
List pull requests in a repository with creator, labels, and optional comments and CI/CD status.
Instructions
List all pull requests in a repository with full details including creator, labels, and optionally comments and pipeline status
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>"
},
"name": "github_list_pull_requests"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Repository name | |
| owner | Yes | Repository owner (user or organization) | |
| state | No | State of pull requests to fetch (default: all) | all |
| include_checks | No | Include CI/CD check runs and status for each PR | |
| include_comments | No | Include all comments for each PR (may slow down the request) |