Extensions by Antoine Rato

GitHub Diff Filter Plus

🧑‍💻 Developer Tools

Multi-select file type filters for GitHub PRs. Apply all at once.