Ergonomic, hermetic, user-friendly software build system for Python, Go, Java, Kotlin, Protobuf, Scala, Shell. Pants lets you fearlessly scale up your codebase!

Pants

I haven't deliberately pushed anything directly to main

It's possible the merge commit title was updated to no longer refer to the original PR

This is the PR: <https://github.com/pantsbuild/pants/pull/11924|https://github.com/pantsbuild/pants/pull/11924>

I think Benjy is referring to this merge commit title

&gt; Fix fs_test style from #11890
Normally it ends in the format `(#PR)`

Maybe I messed up when merging it because I already had the PR I was referencing at the end of the title

Possibly, not a big deal. FYI it should have been

&gt; Fix fs_test style from #11890 (#11924)

Yeah, no biggie, it's just the PR description got mangled