3 results (15ms)
2020-02-28 §
16:28 <wm-bot> <root> Migrated to 2020 Kubernetes cluster [tools.sphinxcapt-leaderboard]
2020-02-26 §
20:04 <wm-bot> <root> Reverted to legacy Kubernetes cluster [tools.sphinxcapt-leaderboard]
17:05 <wm-bot> <root> Migrated to 2020 Kubernetes cluster [tools.sphinxcapt-leaderboard]