GitHub PR File Filters
Developer Tools
Add configurable include and exclude shortcuts for GitHub pull request file filters.
- Store users
- 22
- Ratings
- 5.0/ 5 1 rating
Eric Batlle Clavero
1 listing we've seen · as of 3 Oct 2026. This is the maker name shown on the store, not proof of who owns the company.