https://pantsbuild.org/ logo
w

witty-crayon-22786

05/15/2020, 8:11 PM
or, not until the first PR has landed.
if you’d like to do that “rather” than cherry-picking, that’s fine
👍 1
but i don’t think we should introduce a formality there.
h

hundreds-father-404

05/15/2020, 9:23 PM
Okay I cherry-picked into 1.28.x because it was simple to do. 1.27.x will be a new PR
1.28.x is now ready from my perspective, but I think Benjy and Greg still wanted some changes