2020-03-04 - releng
22:12	<James_F>	Zuul: Add CI for mediawiki/extensions/PushNotifications	[releng]