2020-07-01 - production
11:22	<lucaswerkmeister-wmde@deploy1001>	Synchronized w/robots.php: Config: [[gerrit:608713|Fully set MW_NO_SESSION for browser metadata endpoints]], 3/4 (duration: 01m 03s)	[production]