It would be great if @GitHub had a squash PR feature in the UI ... for all these small changes from PR feedback.