@User uploaded a file: and commented: I got behind this AM, but I am finishing up the release now, since I got the next shipit. There are two competing github workflows, 1) the Squash and Merge button 2) push from clone I think I prefer (1), since it attaches the pull request to the commit. But that will make every commit message permanently freight the pull request number.