@bored-art-40741: is it enough to copy the 1 file in https://github.com/pantsbuild/pants/pull/3276 , edit and push to github with 'CI this' to experiment on the new jenkins stuff independent of you?