2016-01-22 - releng
16:32	<hashar>	Nuked corrupted git repo on integration-slave-precise-1012 /mnt/jenkins-workspace/workspace/mediawiki-extensions-php53	[releng]