get_pull_requests
Retrieve pull requests for a specified GitHub repository, with options to filter by state and cap the number of results.
Instructions
List pull requests for a repository.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo | Yes | Repository in "owner/repo" format. | |
| state | No | PR state filter (default: "open"). | open |
| max_results | No | Number of PRs to return (default: 20, max: 100). |