2015-05-02 - releng
03:56	<legoktm>	reset mediawiki-extensions-hhvm workspace on integration-slave-trusty-1015 (bad .git lock)	[releng]