Should this be renamed to config/production_new/jenkins.patch?