2020-07-20 - production
10:34	<jdrewniak@deploy1001>	Synchronized portals/wikipedia.org/assets: Wikimedia Portals Update: [[gerrit:614698| Bumping portals to master (614698)]] (duration: 00m 59s)	[production]