Merge pull request #1744 from xjkdev/main

Bug: fix a misuse in get_latest_version's hostname
pull/1754/head
Simon Legner 3 years ago committed by GitHub
commit 68863f83ca
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -26,7 +26,7 @@ module Docs
def get_latest_version(opts)
tags = get_gitlab_tags("https://gitlab.com", "libeigen", "eigen", opts)
tags = get_gitlab_tags("gitlab.com", "libeigen", "eigen", opts)
tags[0]['name']
end

Loading…
Cancel
Save