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.

approved this merge request

merged

mentioned in commit b7595bd3

thanks!