[dev] Add redis to workspace image (#17174)

* [dev] Add redis to workspace image

* Fix

Author: easyCZ

dev/image/Dockerfile

@@ -4,7 +4,7 @@
 
 FROM gitpod/workspace-full:2023-03-24-02-48-18
 
-ENV TRIGGER_REBUILD 39
+ENV TRIGGER_REBUILD 40
 
 USER root
 
@@ -249,6 +249,9 @@ RUN sudo apt-add-repository -y ppa:fish-shell/release-3 && \
 # Install tmux + tmuxinator
 RUN brew install tmux tmuxinator
 
+# Install redis-server
+RUN brew install [email protected]
+
 # Copy our own tools
 ENV NEW_KUBECDL=2
 COPY dev-kubecdl--app/kubecdl dev-gpctl--app/gpctl /usr/bin/