Redis Current version of Redis (5.0.8) is missing SHA-1 hash

The current version of Redis, 5.0.8 doesn't have an SHA-1 hash on this page: https://github.com/antirez/redis-hashes

And the download link is still not https. So there's no way for me to use 5.0.8, because there is no way to ensure the integrity of the download.

Can we ideally add an SHA-1 hash on the appropriate page?

And switch the downloads to being https?

Comment From: antirez

Solved, thanks.