[dev] Use "ping" in redis-cli, which is compatible with newer versions#20989

roboquat merged 2 commits intomaingitpod-io/gitpod:mainfrom

gpl/unblock-redis-cli-updategitpod-io/gitpod:gpl/unblock-redis-cli-updateCopy head branch name to clipboard