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
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) |