For a docs PR, what should we set as the cherrypick mileston? 2.12.x? https://github.com/pantsbuild/pants/pull/15964

this isn't in-repo docs via the Readme sync tool. It's our generate_docs script, which we've been using since like Pants 2.2. So it's arbitrary how far back we cherrypick this one

oh right 🙂 Although, do we sync-backwards at some point?

THe release process has people manually run

generate_docs.py

on the release branch

I'm a tad confused 😵 but thats OK.

I'm confused too. Said another way, there is no need to cherry-pick this PR. You can cherry-pick it as far back as you want, though, if you want earlier versions of the docs to have the improvement

Yeah thats my aim here