2020-06-22 - production
10:35	<jdrewniak@deploy1001>	Synchronized portals: Wikimedia Portals Update: [[gerrit:606985| Bumping portals to master (606985)]] (duration: 00m 56s)	[production]