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]