2023-12-04 - production
16:52	<jdrewniak@deploy2002>	Synchronized portals: Wikimedia Portals Update: [[gerrit:979990| Bumping portals to master (T128546)]] (duration: 07m 45s)	[production]