2018-02-06 - releng
18:14	<thcipriani>	removing /srv/mediawiki/.git on deployment-tin to clear space	[releng]