Extensions by Eric Batlle Clavero

GitHub PR File Filters

🧑‍💻 Developer Tools

Add configurable include and exclude shortcuts for GitHub pull request file filters.