update git ref for redis

Author: sjpotter

.github/workflows/ci.yml

@@ -18,7 +18,7 @@ jobs:
       uses: actions/checkout@v2
       with:
         repository: 'sjpotter/redis'
-        ref: '4e3b21045c8ba7f5d7b6d021cca3f51389a8b6c9'
+        ref: '1631f37d242613c128ed2406d2f6fd5a83eaf954'
         path: 'redis'
     - name: Build Redis
       run: cd redis && make -j 4 gcov
@@ -55,7 +55,7 @@ jobs:
         uses: actions/checkout@v2
         with:
           repository: 'sjpotter/redis'
-          ref: '4e3b21045c8ba7f5d7b6d021cca3f51389a8b6c9'
+          ref: '1631f37d242613c128ed2406d2f6fd5a83eaf954'
           path: 'redis'
       - name: Build Redis
         run: cd redis && make -j 4 SANITIZER=address