2018-07-07 - releng
03:38	<thcipriani>	deployment-tin:sudo rm -rf /srv/mediawiki/.git	[releng]