2019-07-15 - production
13:02 <jdrewniak@deploy1001> Synchronized portals: Wikimedia Portals Update: [[gerrit:523127| Bumping portals to master (T128546)]] (duration: 00m 50s) [production]