List Pull Requests Tool
list_pull_requests_toolFetch pull requests for a GitHub repository, filter by state (open, closed, all), and page through results by owner and repo to track PR activity.
Instructions
List pull requests for a GitHub repository.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| page | No | Page number (default: 1) | |
| repo | Yes | Repository name | |
| owner | No | Repository owner (defaults to GITHUB_DEFAULT_ORG if unset) | |
| state | No | Filter by state (open, closed, all) | open |
| per_page | No | Results per page, max 100 (default: 30) |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||