https://pantsbuild.org/ logo
#announce
Title
# announce
h

hundreds-father-404

05/30/2020, 1:00 AM
Headed out for a while. If anyone is around in 30ish minutes, I’d appreciate a merge of the release prep 🙂 https://github.com/pantsbuild/pants/pull/9905 (although only once John has merged https://github.com/pantsbuild/pants/pull/9903 first)
e

enough-analyst-54434

05/30/2020, 1:41 AM
https://github.com/pantsbuild/pants/pull/9903 is finally in, I'm babysitting a transient network error in your PR building mac wheels and will merge when that greens.
Merged.
h

hundreds-father-404

05/30/2020, 3:20 AM
Thank you John!