From 6c05360afad48d95e889c96e45fe748505fe6665 Mon Sep 17 00:00:00 2001 From: georg Date: Mon, 20 Mar 2023 14:50:48 +0000 Subject: [PATCH] CI: 'clone' git repository instead of 'fetch' 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 --- .gitlab-ci.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index c3a76c7..5ea7bb3 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,5 +1,6 @@ variables: CONTAINER_REGISTRY: $CI_REGISTRY/georg/mat2-ci-images + GIT_STRATEGY: clone stages: - linting