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