2020-12-16 - production
11:19	<jiji@deploy1001>	Synchronized wmf-config/ProductionServices.php: Swap mc1019 with mc1031 for Redis lock manager - T265643 (duration: 01m 17s)	[production]