github: use last tag if no release found
Compare changes
+ 8
− 3
@@ -26,6 +26,7 @@ from os.path import join, exists
@@ -36,16 +37,20 @@ def github_download(name, github_url, version=None, destdir='.'):
Most projects do not use the "release" proprietary feature of Github, but plain old git tags instead. If no release is found in the repository, we try to use the latest release instead.