OtherSmart Github MergeAnojh GThis extension makes it so that for any PRs being merged into the main Heap repo's `master` branch, the button defaults to a regular merge, and a squash-merge otherwise.