☰

GitHub Default Issues Filter

Replaces GitHub issue's default filter

Autor
guansss
Instalaciones diarias
0
Instalaciones totales
13
Calificaciones
0 0 0
Versión
0.1
Creado
05/09/2022
Actualizado
05/09/2022
Tamaño
4.28 KB
Licencia
MIT
Funciona en

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.