2023-07-10 - production
15:53	<jdrewniak@deploy1002>	Synchronized portals: Wikimedia Portals Update: [[gerrit:936654| Bumping portals to master (T128546)]] (duration: 06m 30s)	[production]