Search pull requests
The Search Pull Requests tool enables efficient searching of pull requests within GitHub repositories using familiar issue search syntax scoped specifically to pull requests. It offers flexible querying, sorting, and pagination to streamline the review and management of pull requests for developers and teams.
Features
- Search pull requests using GitHub's issue search syntax, scoped to is:pr.
- Filter results by repository owner and repository name for targeted searches.
- Support for sorting pull requests by various criteria such as creation date, update date, number of comments, and reactions.
- Pagination capabilities to navigate through large sets of pull request results easily.
- Customizable number of results per page, with control over ascending or descending sort order.
Benefits
- Efficiently find relevant pull requests, saving time for developers and teams.
- Improve project collaboration by quickly identifying pull requests based on specific criteria.
- Gain insights into PR engagement through sorting by reactions and comments.
- Easily manage and monitor pull requests across multiple repositories.
- Enhanced productivity with precise and flexible search parameters tailored to user needs.
Description
Search for pull requests in GitHub repositories using issues search syntax already scoped to is
Parameters
7 parameters
| Name | Type | Description |
|---|---|---|
| order | enum | Sort order |
| owner | string | Optional repository owner. If provided with repo, only pull requests for this repository are listed. |
| page | number | Page number for pagination (min 1) |
| perPage | number | Results per page for pagination (min 1, max 100) |
| queryrequired | string | Search query using GitHub pull request search syntax |
| repo | string | Optional repository name. If provided with owner, only pull requests for this repository are listed. |
| sort | enum | Sort field by number of matches of categories, defaults to best match |