Github Bors Merge

Adds a button to easily start/stop PR merge when using bors

Autor
sanket0896
Denně instalací
0
Celkem instalací
6
Hodnocení
0 0 0
Verze
0.1
Vytvořeno
16. 03. 2023
Aktualizováno
16. 03. 2023
Size
4,4 KB
Licence
neuvedeno
Spustit na

You can also try these related scripts: