☰

GitHub Default Issues Filter

Replaces GitHub issue's default filter

Aŭtoro
guansss
Ĉiutagaj instaloj
0
Tutaj instaloj
13
Ratings
0 0 0
Versio
0.1
Kreita
2022/09/05
Ĝisdatigita
2022/09/05
Size
4,28 kb
Licenco
MIT
Aplikiĝas al

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.