2023-12-11 - production
17:04	<jdrewniak@deploy2002>	Synchronized portals: Wikimedia Portals Update: [[gerrit:982110| Bumping portals to master (T128546)]] (duration: 08m 15s)	[production]