Merge Protector for Github
Merge Protector for Github is a Chrome add-on developed by DFProductivity. This free tool is designed to help users specify repositories and branches with the ways they would like to merge in Github.
With Merge Protector, users can easily click the correct button when merging Pull Requests in Github. Since Github does not provide the option to specify branch-specific merge options, Merge Protector steps in to disable and enable options based on the rules specified by the user.
Key features of Merge Protector include the ability to specify the repositories to which the protection rules should be applied, or apply the rules to all repositories. Users can also specify the branch names for which they would like to allow only squashing, merging, or rebasing. Additionally, if none of the specified rules apply, users can set a default merge way.
Merge Protector for Github is a valuable tool for Github users who want more control over the merging process. With its easy-to-use interface and customizable options, it streamlines the merging of Pull Requests and ensures that the correct merge options are applied based on user-defined rules.