2017-05-16 - production
22:42 <Dereckson> Tin has now an up-to-date /srv/mediawiki-staging HEAD, with operations/mediawiki-config repo = prod = staging [production]