For the coming PRs, when we merge (except for a release PR), could we pay attention and choose to

squash and merge

instead of the regular

Merge pull request

? Just need to click on the arrow at the right hand side of the green button, and select

Squash and merge

in the drop down menu