CI: 'clone' git repository instead of 'fetch' (!108) · Merge requests · jvoisin / mat2 · GitLab

georg requested to merge 191-ci-git-strategy-clone into master Mar 20, 2023

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)