merged as <https travis ci org pantsbuild pants builds 37789 Pants #announce

merged as <https://travis-ci.org/pantsbuild/pants/...

w

witty-crayon-22786

05/11/2018, 8:21 PM

merged as https://travis-ci.org/pantsbuild/pants/builds/377897809