2018-03-23 - releng
21:19	<greg-g>	gjg@deployment-tin:/srv/mediawiki-staging/php-master$ git remote prune origin	[releng]