GitHub PR Quick Filters by Tyler Day

0 Stars out of 5

GitHub PR Quick Filters version history - 2 versions

Be careful with old versions! These versions are displayed for testing and reference purposes.You should always use the latest version of an add-on.
Latest version
Version 0.1.2
Released May 13, 2026 - 20.82 KB
Works with firefox 115.0 and later
Fixes the Quick filters button sometimes not appearing on the Pull requests page when navigating within GitHub. A hard refresh is no longer needed.
Source code released under MIT License
Download Firefox and get the extension
Download file
Older versions
Version 0.1.1
Released May 5, 2026 - 20.83 KB
Works with firefox 115.0 and later
Source code released under MIT License
Download file

Latest version