posted updates on https://github.com/pantsbuild/pants/pull/6179 and https://github.com/pantsbuild/pants/pull/6205 -- #6217 (which is now green itself), when either of those two PRs are rebased onto it, causes red to turn green, as if by magic