GitHub PR Label Filter Tool icon

GitHub PR Label Filter Tool

by colesturdevant0@gmail.com · Developer Tools
Manifest V3 Free
View in Chrome Web Store Data as of 16 Oct 2026

A Chrome extension to filter GitHub pull requests by labels.

Users
6
−1 in 30 days
Rating
0.0 / 5
unchanged in 30 days
Ratings
0
0 in 30 days
Store rank
#235K
#197K among extensions
Version
1.3.0
updated 25 Sep 2025

Users

monthly, 13 months
036Sep 2025Apr 2026Oct 2026
Latest, 16 Oct 2026: 6 usersMove the mouse over the chart for any month

Ratings count

monthly, 13 months
001Sep 2025Apr 2026Oct 2026
Latest, 16 Oct 2026: 0 ratingsMove the mouse over the chart for any month

The Chrome Web Store rounds user counts down to the leading digit, so the user line moves in steps. The ratings count is exact and is the better signal of real adoption.

About GitHub PR Label Filter Tool

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.

Growth

WindowUsersChangeRatingsRating
7 days0+0.0%00.00
30 days−1−14.3%00.00
6 months0+0.0%00.00
1 year+2+50.0%00.00

Version history

5 versions recorded
1.3.025 Sep 2025
1.2.021 Sep 2025
1.1.020 Sep 2025
1.0.019 Sep 2025
0.0.117 Sep 2025

Details

Category
Developer Tools
First seen
17 Sep 2025
Size
85 KB
Languages
en
Pricing
Free
Support
github.com
Extension ID
lfbkgdanhembiphfnggeboichpejmhie

Permissions and risk

Minimal riskimpact 0, likelihood 2
Permissions
scriptingactiveTabstorage

Alternatives to GitHub PR Label Filter Tool

Extensions that rank for the same store searches or share the Developer Tools category, ordered by users