hey folks: please hold off on merging anything els...
# development
w
hey folks: please hold off on merging anything else to
main
until https://github.com/pantsbuild/pants/pull/17083 is in
b
That still true? Should the PR be merged (its green)?
w
a
To confirm, should we still hold off on merging?
w
no, do not hold off on merging. he will resume this evening.
2