2020-08-19 - production
01:05 <dpifke@deploy1001> Synchronized wmf-config/profiler.php: Deploying https://gerrit.wikimedia.org/r/c/operations/mediawiki-config/+/620139 (duration: 01m 18s) [production]