Github Bors Merge

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

Forfatter
sanket0896
Daglige installasjoner
0
Totale installasjoner
6
Vurderinger
0 0 0
Versjon
0.1
Lagd
16.03.2023
Oppdatert
16.03.2023
Size
4,4 kB
Lisens
I/T
Gjelder

You can also try these related scripts: