Multi-select file type filters for GitHub PRs. Apply all at once.
Chrome extension that replaces the native "File extensions" filter on GitHub Pull Request "Files changed" pages with a multi-select dropdown and a single Apply button. No more page reloads on every checkbox click.
Early development. Not yet published on the Chrome Web Store.
- Clone or download this repo.
- Open
chrome://extensionsand enable Developer mode (top right). - Click Load unpacked and select this folder.
- Open any GitHub PR's "Files changed" tab. The enhanced filter takes over.
manifest.json # Manifest V3
content.js # Content script that enhances the PR page
styles.css # Styles injected into the page
popup.html # Settings popup markup
popup.js # Settings popup logic
popup.css # Settings popup styles
icons/ # Extension icons (see icons/README.md)
This extension collects, transmits, and shares no personal data. The only
thing it persists (locally, via chrome.storage.sync) is your "Remember last
selection" preference and, if enabled, the list of extensions you last
filtered on. Nothing ever leaves your browser.
Full policy: PRIVACY.md