2021-07-22 - production
11:23 <lucaswerkmeister-wmde@deploy1002> Synchronized w/robots.php: Config: [[gerrit:705682|Avoid using WikiPage::factory()]] (duration: 01m 06s) [production]