https://pantsbuild.org/ logo
b

bored-art-40741

03/23/2016, 8:10 PM
I think I'd prefer a revert. I'm willing to vet this in the medium term, but probably not before Friday, and I don't think Pants Jenkins is seeing much use anyway