ci: fix fetch_from_mirror_url_if_exists

pull/12501/merge
Chen Yudong 2023-11-16 10:54:37 +08:00
rodzic bf6a904a44
commit d738185ff8
1 zmienionych plików z 2 dodań i 1 usunięć

Wyświetl plik

@ -228,7 +228,8 @@ variables:
else
git remote add origin "${MIRROR_REPO_URL}"
fi
git fetch origin --no-recurse-submodules
# mirror url may fail with authentication issue
git fetch origin --no-recurse-submodules || true
fi
# set remote url to CI_REPOSITORY_URL