https://pantsbuild.org/ logo
b

bitter-ability-32190

06/28/2022, 4:25 PM
For a docs PR, what should we set as the cherrypick mileston? 2.12.x? https://github.com/pantsbuild/pants/pull/15964
h

hundreds-father-404

06/28/2022, 4:27 PM
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
b

bitter-ability-32190

06/28/2022, 4:27 PM
oh right 🙂 Although, do we sync-backwards at some point?
h

hundreds-father-404

06/28/2022, 4:30 PM
THe release process has people manually run
generate_docs.py
on the release branch
b

bitter-ability-32190

06/28/2022, 4:31 PM
I'm a tad confused 😵 but thats OK.
h

hundreds-father-404

06/28/2022, 4:34 PM
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
b

bitter-ability-32190

06/28/2022, 4:34 PM
Yeah thats my aim here