Change Details

Mediawiki's Redis cluster is co-hosted with our memcached cluster (mc* hosts). It is important we migrate this cluster to Debian buster ideally by the end of Q2. It has been an issue for quite some time, how we will upgrade this Redis cluster. Our options are: * Use Redis 5.0, the one that ships with debian buster * Use Redis 2.8, the version we are currently running, but we need to port it to debian buster (and maintain) ourselves.

Mediawiki's Redis cluster is co-hosted with our memcached cluster (mc* hosts). It is important we migrate this cluster to Debian buster ideally by the end of Q2. It has been an issue for quite some time, how we will upgrade this Redis cluster. Our options are: * Use Redis 5.0, the one that ships with debian buster * Use Redis 2.8, the version we are currently running, but we need to port it to debian buster (and maintain) ourselves. Something to additionally consider is, in case of an upgrade, how this will affect the [[ https://doc.wikimedia.org/mediawiki-core/master/php/classRedisLockManager.html | Redis Lock Manager ]].

Mediawiki's Redis cluster is co-hosted with our memcached cluster (mc* hosts). It is important we migrate this cluster to Debian buster ideally by the end of Q2. It has been an issue for quite some time, how we will upgrade this Redis cluster. Our options are: * Use Redis 5.0, the one that ships with debian buster * Use Redis 2.8, the version we are currently running, but we need to port it to debian buster (and maintain) ourselves. Something to additionally consider is, in case of an upgrade, how this will affect the [[ https://doc.wikimedia.org/mediawiki-core/master/php/classRedisLockManager.html | Redis Lock Manager ]].