2020-02-28 - tools.sphinxcapt-leaderboard
16:28	<wm-bot>	<root> Migrated to 2020 Kubernetes cluster	[tools.sphinxcapt-leaderboard]