Hm, is anyone getting spammed by pantsbuild-jenkins-bot?