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