merging this to make CI work: <https://github.com/...
# announce
a
merging this to make CI work: https://github.com/pantsbuild/pants/pull/6493