Skip to content

CI: 'clone' git repository instead of 'fetch'

georg requested to merge 191-ci-git-strategy-clone into master

While the former is slower, the later might lead to errors such as "fatal: detected dubious ownership in repository at" which is fixed GitLab upstream via https://gitlab.com/gitlab-org/gitlab-runner/-/merge_requests/3538, but not yet released.

Closes #191 (closed)

Merge request reports