well, to download really anything on github, you click code, then download as zip. Not every github page has a direct download button thats readily available. You'll know its the correct version if the file named index is an html/js file, instead of the malicious EXE file
Hope this helps