What’s the deal with the Git repo not including any source code? Is this a common way to use GitHub these days, as a download server for closed source projects?
On another note, I do not know why you were down voted. You asked a valid question.
[0] https://docs.github.com/en/free-pro-team@latest/github/site-...