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]