☰

GitHub Default Issues Filter

Replaces GitHub issue's default filter

Version vom 05.09.2022. Aktuellste Version

Autor
guansss
Bewertungen
0 0 0
Version
0.1
Erstellt am
05.09.2022
Letzte Aktualisierung
05.09.2022
Größe
4,28 KB
Lizenz
MIT
Wird angewandt auf

This script replaces GitHub issue's default filter is:issue is:open with is:issue.

Navigate to https://github.com/xxx/yyy/issues and you'll see the effect.