Comment by mfenniak

I have very little evidence to support this, but they probably use twemproxy. twemproxy is a proxy for redis that automatically manages routing commands to multiple redis servers efficiently.

They definitely don't use redis cluster, because redis cluster requires explicit client-side support. That support is only available in a limited number of clients today.