2020-11-17 - production
12:12	<lucaswerkmeister-wmde@deploy1001>	Synchronized wmf-config/InitialiseSettings.php: Config: [[gerrit:631496|Remove migration settings in InitialiseSettings.php (T264286)]], 1/2 (prod) (duration: 00m 56s)	[production]