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

average-vr-56795

08/27/2021, 9:30 PM
If anyone can answer why https://github.com/pantsbuild/pants/pull/12609 is generated in the release notes as
* Embrace that help strings are markdown. ([#12609](<https://github.com/pantsbuild/pants/pull/12609))>
which happens to be the PR title of the next PR in the list (https://github.com/pantsbuild/pants/pull/12606), I'd be curious...
h

hundreds-father-404

08/27/2021, 9:32 PM
What happened was the PR is a single commit, and the commit had a bad title that was copy and pastad from something Benjy did earlier When you squash and merge in GitHub's UI and you have only a single commit, GitHub defaults to putting the commit title rather than the PR title. You have to manually copy and paste the PR title into the merge message. As the releaser, you should use the PR title because that's what we meant to do fyi @happy-kitchen-89482
a

average-vr-56795

08/27/2021, 9:43 PM
Aha, makes sense!
(Yeah, I fixed up the PR title - didn't actually look at the commit, should have!)
❤️ 1
h

hundreds-father-404

08/27/2021, 9:44 PM
Thanks for being diligent in prepping release notes!
h

happy-kitchen-89482

08/28/2021, 7:31 AM
Did I screw something up?
h

hundreds-father-404

08/28/2021, 7:37 AM
yeah bad copy pasta, but we've all done it