☰

GitHub Default Issues Filter

Replaces GitHub issue's default filter

Per 05-09-2022. Zie de nieuwste versie.

Maker
guansss
Beoordelingen
0 0 0
Versie
0.1
Gemaakt op
05-09-2022
Bijgewerkt op
05-09-2022
Grootte
4,28 KB
Licentie
MIT
Wordt toegepast op

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.