Control GitHub PR merge strategies based on source and destination branches, and repository.
GitHub PR Merge Strategy Restrictor Extension
Example Restriction Rules:
- You can specify exact names for the repository and branches.
- Use * to apply the rule to all repositories or branches.
- Use wildcards like company-name/* to match all repositories starting with 'company-name' or feature/* for all branches starting with 'feature/'.
- You can combine these options, such as using * for the repository, an exact name for the source branch, and a wildcard for the destination branch, or any combination of these.
Source Manifest.json
Similar Extensions
BrowserStack Bug Capture 79 83 ★ 3.92MiB
javadoc-switcher 79 0 ★ 188KiB
Subtracker: Manage Online Subscriptions 79 1 ★ 377KiB
Refined GitHub 79 213 ★ 572KiB
Dev Buddy AI 79 0 ★ 49.89KiB
Netflix Subtitle Toggle 79 1 ★ 8.64KiB
PH Zen: Distraction-Free Product Hunt 79 5 ★ 475KiB
Vue force dev 79 35 ★ 38.0KiB
ChatGPT Automator 79 0 ★ 183KiB
GitHub S&M Blocker 79 5 ★ 147KiB
Product Hunt Extension: Helper 79 1 ★ 2.43MiB
Cryptip 79 1 ★ 122KiB
Confluence Chrome Extension - Meetical 79 17 ★ 9.74MiB
Vue.js devtools 79 43 ★ 2.08MiB
Add to Dash 79 0 ★ 39.27KiB
github-material-icon-theme 79 0 ★ 39.52KiB
UPChats - Productivity in Instagram and WhatsApp conversations 79 5 ★ 319KiB
Owledge 79 1 ★ 8.8MiB
Alan AI Plugin 79 7 ★ 2.07MiB
Css snippets 79 0 ★ 107KiB
Product Hunt Twitter 79 0 ★ 104KiB
Datoris Interactive data visualizations 79 3 ★ 1.16MiB
Node.js Document Search 79 0 ★ 179KiB
TabCrunch - AI Tab Manager 79 0 ★ 3.22MiB