[Meta] Use Squash and Merge for a clean commit history

[EwoutH]

Thanks for all this amazing work!

Would you consider using Squash and merge method for merging PRs instead of the "Create a merge commit" method? That will result in a way cleaner, and linear git log, since for each PR not multiple commits (including a merge commit) are included but only a single one.