I just merged https://github.com/pantsbuild/pants/pull/6373 so I’ll add that to the release (since I have to pull the CI fix anyway)