https://pantsbuild.org/ logo
#development
Title
# development
w

witty-crayon-22786

10/03/2022, 6:05 PM
hey folks: please hold off on merging anything else to
main
until https://github.com/pantsbuild/pants/pull/17083 is in
b

bitter-ability-32190

10/03/2022, 8:05 PM
That still true? Should the PR be merged (its green)?
w

witty-crayon-22786

10/03/2022, 8:11 PM
a

ancient-vegetable-10556

10/03/2022, 8:15 PM
To confirm, should we still hold off on merging?
w

witty-crayon-22786

10/03/2022, 8:15 PM
no, do not hold off on merging. he will resume this evening.
2