https://pantsbuild.org/ logo
#development
Title
# development
b

broad-processor-92400

02/12/2023, 10:45 PM
I'm merging https://github.com/pantsbuild/pants/pull/18054 (I'm assuming just hitting the big green squash-and-merge button is all that I need to do once I have approvals, there's no bors-like merge queue or other processes), and noticed that the commit message was the default squash-and-merge message of concatenating the individual commit messages. The convention suggested by "FYI: we squash merge" in https://www.pantsbuild.org/docs/contributor-overview#opening-a-pull-request seems to be using the PR description. Relatively recently, Github added support for defaulting to that style ("PR title + description"): https://github.blog/changelog/2022-08-23-new-options-for-controlling-the-default-commit-message-when-merging-a-pull-request/ We've found this setting a nice little time saver (and mistake reducer) in our repo.
e

enough-analyst-54434

02/12/2023, 10:47 PM
I've set this up for Pex, scie-pants and the a-scie projects. I have not bothered to bring it up re the Pants repo just because I have trouble gauging controversy. +1 to doing this from me!
👍 4
b

broad-processor-92400

02/12/2023, 10:49 PM
I'm bright-eyed, idealistic and missing historical context for any hot-button issues. Hopefully I'm not bringing up a sore point for anyone... I apologise if so.
e

enough-analyst-54434

02/12/2023, 10:51 PM
I don't think you are but I guess wrong too often myself; so I shy away.
h

happy-kitchen-89482

02/13/2023, 1:00 AM
Nice feature! I'll make this change when I'm in front of a normal sized computer. I don't think it requires debate.
Done
🎉 2
c

curved-television-6568

02/13/2023, 12:30 PM
Hooray!!!
b

bitter-ability-32190

02/13/2023, 12:43 PM
Oh thank goodness 🎉🎉🎉🎉
2 Views