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