GitHub PR Quick Filters
Developer Tools
Adds quick-filter buttons (No drafts, custom queries) to a repo's Pull Requests list on GitHub.
- Store users
- 26
- Ratings
- 5.0/ 5 1 rating
Tyler Day
1 listing we've seen · as of 4 Oct 2026. This is the maker name shown on the store, not proof of who owns the company.