2020-07-06 - production
10:52	<jdrewniak@deploy1001>	Synchronized portals: Wikimedia Portals Update: [[gerrit:609762| Bumping portals to master (609762)]] (duration: 00m 57s)	[production]