zulip/zerver/lib/redis_utils.py