Tool
List pull requests
The List Pull Requests tool for GitHub enables users to efficiently retrieve and view pull requests within a specific repository. It offers versatile filtering and sorting options to help manage and track code contributions effectively.
Features
- Filter pull requests by base branch to focus on relevant development lines.
- Sort pull requests by creation date, update time, popularity, or duration for better prioritization.
- Paginate results with customizable page number and items per page, supporting up to 100 results at once.
- Filter by state (open, closed, or all) to manage pull request workflow.
- Filter by head user or organization and branch to pinpoint specific contributors or branches.
Benefits
- Streamlines repository management by providing an organized view of pull requests.
- Enhances team collaboration through easy tracking of code changes and updates.
- Saves time by enabling users to quickly find relevant pull requests using multiple filter options.
- Improves decision making with sortable and paginated data displays.
- Supports continuous integration and delivery workflows by facilitating timely review and merge of pull requests.
Description
List pull requests in a GitHub repository. If the user specifies an author, then DO NOT use this tool and use the search_pull_requests tool instead.
Parameters
9 parameters
| Name | Type | Description |
|---|---|---|
| base | string | Filter by base branch |
| direction | enum | Sort direction |
| head | string | Filter by head user/org and branch |
| ownerrequired | string | Repository owner |
| page | number | Page number for pagination (min 1) |
| perPage | number | Results per page for pagination (min 1, max 100) |
| reporequired | string | Repository name |
| sort | enum | Sort by |
| state | enum | Filter by state |