Github Bors Merge JS - Adds a button to easily start/stop PR merge when using bors Author sanket0896 Daily installs 0 Total installs 6 Ratings 0 0 0 Created 2023-03-16 Updated 2023-03-16
Run Workflow Label Enhancer JS - Changes the label of branch selection dropdown in Run Workflow Action from "Use Workflow From" to "Destination Branch" Author sanket0896 Daily installs 0 Total installs 5 Ratings 0 0 0 Created 2023-03-16 Updated 2023-03-16
