If anyone can answer why <https://github.com/pants...
# developmenta
average-vr-56795
08/27/2021, 9:30 PMIf 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))>h
hundreds-father-404
08/27/2021, 9:32 PMWhat 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 PMAha, makes sense!
average-vr-56795
08/27/2021, 9:43 PM(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 PMThanks for being diligent in prepping release notes!
h
happy-kitchen-89482
08/28/2021, 7:31 AMDid I screw something up?
h
hundreds-father-404
08/28/2021, 7:37 AMyeah bad copy pasta, but we've all done it