How and Why to Squash Your Pull Request