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

Tue, 06 Sep 2022 11:44:12 UTC21