diff options
| author | elsid <elsid.mail@gmail.com> | 2023-04-28 19:31:51 +0200 |
|---|---|---|
| committer | elsid <elsid.mail@gmail.com> | 2023-04-28 23:32:59 +0200 |
| commit | 0b5ce9709a2766f147f59f6aaac9ba61c7850626 (patch) | |
| tree | e6b939ae355d8c4a898565eb1e9fc8fe4c405bf6 | |
| parent | dcefc5409373c2e7f03907da1f7234e3bde0d408 (diff) | |
| -rwxr-xr-x | CI/ubuntu_gcc_preprocess.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/CI/ubuntu_gcc_preprocess.sh b/CI/ubuntu_gcc_preprocess.sh index 6219c5df0b..05d7528e41 100755 --- a/CI/ubuntu_gcc_preprocess.sh +++ b/CI/ubuntu_gcc_preprocess.sh @@ -53,7 +53,7 @@ git fetch target "${TARGET_BRANCH:?}" if [[ "${CI_MERGE_REQUEST_SOURCE_BRANCH_NAME}" ]]; then git remote add source "${CI_MERGE_REQUEST_SOURCE_PROJECT_URL}" - git fetch source "${CI_MERGE_REQUEST_SOURCE_BRANCH_NAME}" + git fetch --unshallow source "${CI_MERGE_REQUEST_SOURCE_BRANCH_NAME}" elif [[ "${CI_COMMIT_BRANCH}" ]]; then git fetch origin "${CI_COMMIT_BRANCH:?}" else |