User:Jeroen De Dauw/GithubDownload

You can obtain the latest version of this extension, as well as it's tags and branches via git:

Alternatively you can get one of the release packages. You can also get a snapshot of the latest code, but beware, this might be unstable.