Suggestion

The CONTRIBUTING.md asks not to force push. Yet a lot of PRs have force pushes. Clearly, not everyone is thoroughly reading+memorizing the contributing guides 😉.

How about we add a bot that says a more professional version of: "hey don't sweat it that you already force pushed but please don't keep doing it; it makes it harder for us to review because XYZ and we squash merge anyway" ?