2018-02-19 - releng
10:03	<hashar_>	deployment-tin: git gc in /srv/mediawiki-staging/php-master and /srv/mediawiki-staging/php-master/extensions	[releng]