Suggestion: Use squash for merging for PRs

[mattmazzola]

I noticed the recent PRs that I created were merged using the default strategy which results in more complicated git history.

These were very small PRs so it's minor, although I would suggest using the "squash" merge strategy to keep the history of main linear. I wasn't sure if you were aware that you can go to the repo settings and make it the only allowed option so that there isn't a chance to pick the wrong one.

Feel free to close issue or ignore if you'd rather not.

[dagnelies]

Hmmm... Ok, let's do that