93 users
2024-09-27
sharmadhiraj
sharmadhiraj.np3@gmail...
Control GitHub PR merge strategies based on source and destination branches, and repository.
A critical feature is missing. It no longer disables the default strategy if restricted, only disables it in the options menu
Works like a charm!
Really nice! One thing is that it seems not to work when we use combinations like */*, it just ignores the branch name but other than that it's working!
https://birdeatsbug.com
h.kono.it
Wataru Utsumi
https://refined-github.github.io/
Vinicius
sina.pcs
https://typestack.ai
LoryHuang
Santiago Toscanini
daku10
ZEMIL
Shawn Tabrizi
