2020-08-03 - production
10:51 <jdrewniak@deploy1001> Synchronized portals: Wikimedia Portals Update: [[gerrit:618020| Bumping portals to master (T128546)]] (duration: 01m 06s) [production]