2023-06-12 - production
16:07	<jdrewniak@deploy1002>	Synchronized portals: Wikimedia Portals Update: [[gerrit:929378| Bumping portals to master (T128546)]] (duration: 06m 03s)	[production]