GitHub PR Label Filter Tool
A Chrome extension to filter GitHub pull requests by labels.
As of June 2026, GitHub PR Label Filter Tool has 4 users in the Developer Tools category.
Usersno change0%
4
4
Ratingno change0%
—
— reviews
Reviewsno change0%
—
Version
1.3.0
Manifest V3
History
3 snapshotsTracking since Apr 19, 2026.
View as table
| Date | Users | Rating | Reviews | Version |
|---|---|---|---|---|
| Apr 19, 2026 | 4 | — | — | 1.3.0 |
| May 25, 2026 | 6 | — | — | 1.3.0 |
| Jun 7, 2026 | 3 | — | — | 1.3.0 |
| Now | 4 | — | — | 1.3.0 |
Permissions & access
- Permissions
- scriptingactiveTabstorage
- Host access
- None declared
Screenshots
About
Take full control of your GitHub Pull Request searches with this simple yet powerful Chrome extension. Designed for developers, team leads, and open-source contributors, it streamlines filtering PRs by labels, making it easier to focus on what matters most. GitHub Label Query Builder enhances your PR workflow by letting you build complex label queries visually, without memorizing GitHub search syntax. Quickly combine labels with “OR” groups, include or exclude labels with negative searches, and immediately update your GitHub PR results. Now, you can save your favorite label queries and access them anytime. Your saved queries are available across devices automatically, so whether you switch computers or browsers, your setups are ready to go. Perfect for maintaining code review efficiency and tracking multiple PRs at once. FEATURES - Visual Query Builder: Add and remove label groups with a simple interface. - AND/OR Groups Support: Combine multiple labels within ANDed OR groups to broaden search results. - Negative Search: Exclude specific labels from your query with one click. - Save & Recall Queries: Keep your frequently used label searches handy and switch between them easily. - Cross-Device Access: Your saved queries are available wherever you sign in, without extra setup. - Preserves Existing Queries: Automatically integrates existing labels in your GitHub search. - Real-Time Updates: Apply your query instantly to GitHub Pull Requests without leaving the page. - Lightweight & Fast: Runs directly in your browser with minimal overhead. - Dark Mode Compatible: Works seamlessly with dark and light mode settings. - Context-Aware: Only active on GitHub Pull Request pages to avoid clutter.
Technical
- Version
- 1.3.0
- Manifest
- V3
- Size
- 84.62KiB
- Min Chrome
- 88
- Languages
- 1
- Featured
- No
Metadata
- ID
- lfbkgdanhembiphfnggeboichpejmhie
- Developer ID
- u3d91d95d0a930ca5f3ca4c75dcbd8b53
- Developer Email
- [email protected]
- Created
- Sep 17, 2025
- Last Updated (Store)
- Sep 25, 2025
- Last Scraped
- Jun 7, 2026
- Website
- —
- Privacy Policy
- —
Similar extensions
Alternatives to GitHub PR Label Filter Tool, ranked by description similarity.
GitHub Helper
Enhanced GitHub experience with file filtering and productivity tools for developers
4
PR Dashboard for GitHub
Zero-config PR dashboard. View your GitHub Pull Requests directly in the side panel without API tokens.
3
GitHub Repo Search
Quick GitHub repository search with Alt+G hotkey. Search across all repositories or filter by organization.
24
GitHub PR Filter Helper
Quick filter buttons for GitHub Pull Requests
3
GitHub PR Tracker
Track your GitHub pull requests
3
GitHub PR Cleaner
Clean up GitHub PR conversations by filtering comments
13
GitHub PR Colorizer
Colorize GitHub pull request rows by repository for quick visual grouping.
2
GitHub PR Reviewer
View your GitHub pull request review requests
9
Data sourced from the Chrome Web Store · last verified Jun 7, 2026.