2012-12-05 - production
14:53	<hashar>	Phasing out the Jenkins job linting operations/puppet.git , replacing it with https://integration.mediawiki.org/ci/job/operations-puppet-validate/	[production]