mirror of
https://github.com/gitpod-io/gitpod.git
synced 2025-12-08 17:36:30 +00:00
* [dev] Use "-ping" in redis-cli, which is compatible with newer versions * Fix ping invocation Co-authored-by: iQQBot <tianshi8650@gmail.com> --------- Co-authored-by: iQQBot <tianshi8650@gmail.com>