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 snapshots

Tracking since Apr 19, 2026.

6.244.52.76Apr 19, 2026Jun 7, 2026
View as table
DateUsersRatingReviewsVersion
Apr 19, 202641.3.0
May 25, 202661.3.0
Jun 7, 202631.3.0
Now41.3.0

Permissions & access

Permissions
scriptingactiveTabstorage
Host access
None declared

Screenshots

GitHub PR Label Filter Tool screenshot 1GitHub PR Label Filter Tool screenshot 2GitHub PR Label Filter Tool screenshot 3GitHub PR Label Filter Tool screenshot 4

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.

Data sourced from the Chrome Web Store · last verified Jun 7, 2026.