GitHub custom filters

Adds custom filters to the GitHub pull request search screen.

Aŭtoro
scriptcoded
Ĉiutagaj instaloj
0
Tutaj instaloj
2
Ratings
0 0 0
Versio
1
Kreita
2022/04/19
Ĝisdatigita
2022/04/19
Size
1,77 kb
Licenco
MIT
Aplikiĝas al