2018-03-19 - production
11:14	<jdrewniak@tin>	Synchronized portals: Wikimedia Portals Update: [[gerrit:393239|Switching portals submodule to portals-deploy (T180777)]] (duration: 00m 58s)	[production]