Useful bits and pieces for working with Github
Default to Squash Merge for PRs
Generally I prefer a squash merge for a PR. To make Github default to this option, go to
Settings and scroll down to the bottom until you see Merge button. Select 'Allow squash merging' and remove the other selected options to make squash merging the only allowable option.