[xomateix]

Just realised that http://download.redis.io/ is not available under https (neither is http://redis.io).

It may be worth downloading it from github.

[antirez]

Or you could download from redis.io and check the hashes we publish at Github: https://github.com/antirez/redis-hashes

[dkopi]

Probably a good time to move to sha256 instead of sha1. https://sites.google.com/site/itstheshappening/

[Zikes]

Have you looked at Let's Encrypt for the redis.io domain?

[antirez]

Yes, I hope to implement it soon!