2020-02-24 - production
12:37	<ladsgroup@deploy1001>	Synchronized wmf-config/InitialiseSettings.php: [[gerrit:571738|Add definitions for redirect badges (T235420)]] (duration: 00m 56s)	[production]