I know this is usually a matter of personal preference, but as more people are submitting to this repo, squashing PRs helps keep the git history cleaner. This is helpful when seeing which changes were part of which PR, and makes it easier to revert a PR if that ever comes up.
It's easy to set this as the default in settings => options => uncheck "Allow merge commits" and "Allow rebase merging". Then "Allow squash merging" should be the only box checked.
I know this is usually a matter of personal preference, but as more people are submitting to this repo, squashing PRs helps keep the git history cleaner. This is helpful when seeing which changes were part of which PR, and makes it easier to revert a PR if that ever comes up.
It's easy to set this as the default in settings => options => uncheck "Allow merge commits" and "Allow rebase merging". Then "Allow squash merging" should be the only box checked.