<@U04S45AHA> I’ve just merged <https://github.com/...
# announce
h
@enough-analyst-54434 I’ve just merged https://github.com/pantsbuild/pants/pull/4828 so you should be good to go on the docsite publishing front