`USE_GITHUB` has `GH_TAGNAME` while `USE_GITLAB` has no equivalent. This should be added to make porters' lives easier.
Super bonus points for adding something like GL_SIGNING_FINGERPRINT or similar for verifying signatures of cryptographically signed releases. ;)
PS: Like usual, I'm not sure if this is the right category to report this in, but haven't found anything more fitting. ¯\_(ツ)_/¯
Well, github supports fetching a just-in-time archive using a commit hash or a tag, gitlab puts the full commit hash is present in the resulting archive in the directory name, so, you need to provide that commit hash anyway.
(In reply to Mathieu Arnold from comment #1)
This isn't true:
points to a tagged release only via the tag name "v0.19.0" and even when untaring it, the commit hash doesn't show up anywhere, far as I can tell.
Maybe you're referring to older gitlab behavior?
Well, this is not true for gitlab.com that runs the latest gitlab version, but until all the Gitlab instances have migrated to the new url scheme, we do have to keep the old behavior.
Nothing is preventing work on also supporting the newer download scheme though.