Hashes differ from GitHub releases

[J0WI]

Since download.redis.io does not support HTTPS, I tried to fetch Redis from GitHub. But it turns out, that GitHub and download.redis.io are using different gzip versions or compression rates. So the SHA1 differs from what's published on https://github.com/antirez/redis-hashes/blob/master/README. The uncompressed tarballs have the same hash.

Could you please provide HTTPS for download.redis.io and provide hashes/signatures for the GitHub releases?

[J0WI]

@antirez could you give any statement on this?