Hacker News Reader

You can use GitHub's automatic generation of archives even for specific git commits.

There is no version 4.0.0a of Electrum, it has not been released, it is misleading to refer to it.

There's actually fetchFromGitHub which takes care of it, looks like parent already figured it out:

He also needed to change some dependencies so it's more complex than what I wrote.