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