No need to install Redis yourself!
We've installed Redis v5 on all of our servers, so you can create your Redis config in your home directory and just launch Redis like:
/opt/rh/rh-redis5/root/bin/redis-server $HOME/redis.conf
Redis v6 will be available on new servers later in 2021 when we start rolling out machines on CentOS 8.