-
Notifications
You must be signed in to change notification settings - Fork 154
Description
There are currently some problems with install_gitlab
as pointed out in this PR: #308
Furthermore, I am having problems downloading repos with a dot in the name. This is an issue in the GitLab REST API.
But there is another way of accessing repos on GitLab besides the path/to/repo
: Every repo has a project id and according to the official docs this can be used instead of the path.
The id can be accessed from the "metadata" of the repo that is already downloaded as part of install_gitlab
-- check e.g.
https://gitlab.com/api/v4/projects/jimhester%2Fcovr
https://gitlab.com/api/v4/projects/1486846
The number in the second URL is found in the first.
This metadata can be downloaded in both the problematic situations described above, so if the project id is extracted from the metadata and passed along to remote_download.gitlab_remote
I think this would solve both problems.