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