Github Bors Merge

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

Aŭtoro

sanket0896

Ĉiutagaj instaloj

Tutaj instaloj

Ratings

0 0 0

Versio

0.1

Kreita

2023/03/16

Ĝisdatigita

2023/03/16

Size

4,41 kb

Licenco

N/A

Aplikiĝas al

You can also try these related scripts:

GitHub dosierujo elŝutilo - Aldonu elŝutan butonon，Ebligas facilan elŝuton de specifaj GitHub dosierujo。
GitHub Ordigi laŭ dato - Ŝanĝu dosierordigon al malkreskanta laŭ dato，Oportune vidi la lastajn ĝisdatigitajn dosierojn。
Github Kopiu originalan dosieron URL kun elŝutaj dosieroj - Aldoni butonon ĉe la fino de ĉiu dosierlinio，por kopii la originalan dosieron URL kaj elŝuti dosierojn
Github Star Warehouse Notes Assistant - Ĉu vi forgesis la celon de stelaj deponejoj? Ĉi tio estas skripto, kiu povas aldoni notojn al viaj plej ŝatataj deponejoj, kaj la informoj, kiujn vi komentas, povas esti alŝutitaj kaj elŝutitaj al GitHub Gist
Butono Rilata al Commits de GitHub: Nigra Bordero kaj Blua Teksto sur Flava - La butono por registri Commits de GitHub estas ĉirkaŭita de nigra bordero, montrita per blua tiparo, kaj elstarigita per flava fono