Github Bors Merge JS - Adds a button to easily start/stop PR merge when using bors Autore sanket0896 Installazioni giornaliere 0 Installazioni totali 6 Valutazione 0 0 0 Creato il 16/03/2023 Aggiornato il 16/03/2023
Run Workflow Label Enhancer JS - Changes the label of branch selection dropdown in Run Workflow Action from "Use Workflow From" to "Destination Branch" Autore sanket0896 Installazioni giornaliere 0 Installazioni totali 4 Valutazione 0 0 0 Creato il 16/03/2023 Aggiornato il 16/03/2023
