Github Bors Merge JS - Adds a button to easily start/stop PR merge when using bors Maker sanket0896 Dagelijks aantal installaties 0 Totaal aantal installaties 6 Beoordelingen 0 0 0 Gemaakt op 16-03-2023 Bijgewerkt op 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" Maker sanket0896 Dagelijks aantal installaties 0 Totaal aantal installaties 4 Beoordelingen 0 0 0 Gemaakt op 16-03-2023 Bijgewerkt op 16-03-2023
