☰

GitHub Default Issues Filter

Replaces GitHub issue's default filter

Penulis
guansss
Pemasangan harian
0
Total pemasangan
13
Nilai
0 0 0
Versi
0.1
Dibuat
05 September 2022
Diperbarui
05 September 2022
Size
4,28 KB
Lisensi
MIT
Berlaku untuk

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.