2020-06-01 - production
10:49	<jdrewniak@deploy1001>	Synchronized portals: Wikimedia Portals Update: [[gerrit:601328| Bumping portals to master (601328)]] (duration: 00m 59s)	[production]