2020-02-12 - production
00:21 <reedy@deploy1001> Synchronized wmf-config/CommonSettings.php: rm wgKartographerIconServer (duration: 01m 02s) [production]