2020-02-26 - tools.sphinxcapt-leaderboard
17:05 <wm-bot> <root> Migrated to 2020 Kubernetes cluster [tools.sphinxcapt-leaderboard]