paused https://travis-ci.org/pantsbuild/pants/builds/542746876 in order to start a cherry pick a bit faster: will restart shortly