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

bored-art-40741

04/16/2021, 11:06 PM
I haven't deliberately pushed anything directly to main
h

hundreds-father-404

04/16/2021, 11:07 PM
It's possible the merge commit title was updated to no longer refer to the original PR
b

bored-art-40741

04/16/2021, 11:08 PM
h

hundreds-father-404

04/16/2021, 11:08 PM
I think Benjy is referring to this merge commit title
Fix fs_test style from #11890
Normally it ends in the format
(#PR)
b

bored-art-40741

04/16/2021, 11:08 PM
Maybe I messed up when merging it because I already had the PR I was referencing at the end of the title
h

hundreds-father-404

04/16/2021, 11:10 PM
Possibly, not a big deal. FYI it should have been
Fix fs_test style from #11890 (#11924)
h

happy-kitchen-89482

04/16/2021, 11:10 PM
Yeah, no biggie, it's just the PR description got mangled
b

bored-art-40741

04/16/2021, 11:15 PM
Got it, I'll double check next time