Change in jenkins[master]: Add publishers to deploy-to-XXX jobs