github: use last tag if no release found
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.
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.