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]