@hundreds-father-404: thoughts on merging https://github.com/pantsbuild/pants/pull/7411 without waiting for CI? we're not expecting it to have any observable impact except once in master

Good with me!