Squash PRs

The easiest way to keep the Git history clean: Squash PRs.

• In your branch: Create as many commits as you like
• Do not rebase
• Don't force-push

At the end, just squash the PR into a single commit.