2015-01-13 - releng
00:35	<bd808>	git clone failure in https://integration.wikimedia.org/ci/job/mediawiki-extensions-hhvm/131/console blocking merge of core patch	[releng]