Managing 50K+ Redis Databases Over 4 Public Clouds with a Tiny Devops Team