2017-12-18 - releng
09:58	<hashar>	gerrit: deleted unused user-metrics-2 repo. Been created 4 years and 7 months ago but otherwise unused	[releng]