From 51b3451e20f274bfd697f893596aec9c7f2e3c05 Mon Sep 17 00:00:00 2001
From: Sunny Gleason <sunny.gleason@gmail.com>
Date: Thu, 19 Sep 2019 15:04:06 -0400
Subject: [PATCH] feat: use redis version 5+ via ppa:chris-lea (#5981)

---
 net/scripts/install-redis.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/net/scripts/install-redis.sh b/net/scripts/install-redis.sh
index 263d998c4..9f0ef1728 100755
--- a/net/scripts/install-redis.sh
+++ b/net/scripts/install-redis.sh
@@ -4,4 +4,5 @@ set -ex
 [[ $(uname) = Linux ]] || exit 1
 [[ $USER = root ]] || exit 1
 
+add-apt-repository -y ppa:chris-lea/redis-server
 apt-get --assume-yes install redis