PR Search: An Add-on for GitHub PR and Issues Search
PR Search is a Chrome extension developed by rikucherry0522. It falls under the category of Browsers and is classified as an Add-ons & Tools subcategory. This free extension aims to enhance the search functionality for GitHub PRs (Pull Requests) and issues.
With PR Search, users can access additional options for filtering PRs and issues. The extension adds dropdown menus for filtering by type, state, and keywords, allowing users to narrow down their search results. Additionally, PR Search provides date pickers for searching by a specific date or date range.
The added UI elements are conveniently displayed below the page container's header on both the issue and PR list pages, making it easy for users to access and utilize the enhanced search functionality.
PR Search is a valuable tool for GitHub users who frequently work with PRs and issues. It simplifies the search process and provides more control and flexibility in finding the specific PRs or issues they need.
