Github Bors Merge

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

Autor

sanket0896

Dnevne instalacije

Ukupnih instalacija

Ocjene

0 0 0

Verzija

0.1

Stvoreno

16.03.2023.

Ažurirano

16.03.2023.

Size

4,41 KB

Licenza

N/A

Primjenjuje se

You can also try these related scripts:

My Prompt - Optimizirajte radni tijek i pretvorite AI u svog osobnog agenta! Spremite i organizirajte sve svoje upite u osobnu biblioteku. Istražite Dinamički način rada s upitima za stvaranje interaktivnih upita. Podignite kvalitetu jednostavnih upita na profesionalnu razinu pomoću značajke Poboljšaj pomoću AI i automatski priložite ponavljajuće datoteke. Savršeno za povećanje produktivnosti na ChatGPT-u, Gemini-u, Grok-u, DeepSeek-u i drugim LLM-ovima.
GitHub preuzimač mapa - Dodajte gumb za preuzimanje，Omogućuje jednostavno preuzimanje određenih GitHub mapa。
Pomoćnik za brzi skok u skladište GitHub - 🤠 Pomoćnik za brzi skok u skladište GitHub, posebno dizajniran da pomogne korisnicima da brzo pristupe vlastitim skladištima na GitHubu. Generira gumb na vrhu navigacijske trake Kliknite da biste proširili sva svoja spremišta i jednostavno skočili na svoju stranicu GitHub spremišta bez korištenja sekundarnog izbornika GitHuba.
GitHub Star Warehouse Notes pomoćnik - Jeste li zaboravili svrhu zvijezda? Ovo je skripta koja može dodati bilješke u vaša omiljena spremišta, a informacije koje komentirate mogu se prenijeti i preuzeti u GitHub Gist
Gumb povezan s Commits na GitHubu: Crni obrub i plavi tekst na žutom - Gumb za snimanje Commits na GitHubu okružen je crnim obrubom, prikazan plavim slovima i istaknut žutom pozadinom