Nixpkgs PR Tracker
Shows which branch a Nixpkgs PR is merged into.
As of June 2026, Nixpkgs PR Tracker has 91 users and a 5.00/5 rating from 1 reviews in the Developer Tools category.
Usersup 12.3 percent+12.3%
91
91
Ratingno change0%
5.00
1 reviews
Reviewsno change0%
1
Version
0.1.3
Manifest V3
History
10 snapshotsTracking since Apr 1, 2026.
View as table
| Date | Users | Rating | Reviews | Version |
|---|---|---|---|---|
| Apr 1, 2026 | 81 | 5.00 | 1 | 0.1.3 |
| Apr 16, 2026 | 87 | 5.00 | 1 | 0.1.3 |
| Apr 22, 2026 | 103 | 5.00 | 1 | 0.1.3 |
| Apr 27, 2026 | 72 | 5.00 | 1 | 0.1.3 |
| May 4, 2026 | 89 | 5.00 | 1 | 0.1.3 |
| May 10, 2026 | 88 | 5.00 | 1 | 0.1.3 |
| May 15, 2026 | 97 | 5.00 | 1 | 0.1.3 |
| May 21, 2026 | 90 | 5.00 | 1 | 0.1.3 |
| May 27, 2026 | 107 | 5.00 | 1 | 0.1.3 |
| Jun 5, 2026 | 76 | 5.00 | 1 | 0.1.3 |
| Now | 91 | 5.00 | 1 | 0.1.3 |
Permissions & access
- Permissions
- storage
- Host access
- https://api.github.com/, https://github.com/*
Screenshots
About
Features: - Adds the branch the PR is currently merged into to the "Merged" pill on PR pages in nixpkgs. - Allows providing a GitHub token to avoid rate limiting.
Technical
- Version
- 0.1.3
- Manifest
- V3
- Size
- 24.11KiB
- Min Chrome
- 88
- Languages
- 1
- Featured
- No
Metadata
- ID
- dfegdjaaeknfijoampgepckelacpblje
- Developer ID
- ubbcb899228a4b5d6b92f642f966cfc7c
- Developer Email
- [email protected]
- Created
- Jul 1, 2025
- Last Updated (Store)
- Feb 23, 2026
- Last Scraped
- Jun 5, 2026
- Website
- —
- Privacy Policy
- —
Similar extensions
Alternatives to Nixpkgs PR Tracker, ranked by description similarity.
Github PR Prettifier
Github PR Minimal Prettifier
5
Refined GitHub
Simplifies the GitHub interface and adds useful features
100.0K
★ 4.8
Github PRs
PRs can't wait
—
Priority
Filter and sort your GitHub PR overview
334
pr-checker
🌷 Detect and update your Pull Requests in batches
17
★ 5.0
Aviator Chrome Extension
Show Aviator MergeQueue status on GitHub
2.0K
★ 3.8
GitHub PR Enhancements
Improves the PR list page on GitHub with better indicators of PR status.
—
Mergify
Mergify extension for GitHub
—
★ 5.0
Data sourced from the Chrome Web Store · last verified Jun 5, 2026.