quick 🤦‍♀️ PR https://github.com/pantsbuild/pants/pull/9358

Thanks. You can skip CI on this one because it’s a docs only change. CI is broken, so you’ll want to skip it (Can you cancel the build, though, please?)

I already did I think

Hm, probably, yes. Thanks!

done