Automatically apply custom filters to GitHub Pull Request pages with real-time sync across all tabs. Hide bot PRs, filter by assignee/label, and streamline your PR workflow.
Stern-Bewertung gespeichert
Der Entwickler dieser Erweiterung bittet Sie, dass Sie die Entwicklung unterstützen, indem Sie einen kleinen Betrag spenden.
Jetzt spenden