diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2025-07-23 16:00:18 +0200 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2025-07-23 14:15:03 +0000 |
| commit | 9bee1fc48b7fffe6a48c9c1d50fda5895ad6d916 (patch) | |
| tree | c94bbae5b7bcc0f2888cd607f620d229ec765966 | |
| parent | c80de5bd48dd3438189b6555fe2a11d76be4b278 (diff) | |
syz-cluster: tolerate remote repo reconfigurations
When updating the reference kernel repo, first remove the link and then
add it again.
| -rw-r--r-- | syz-cluster/kernel-disk/fetch-kernels-template.yaml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/syz-cluster/kernel-disk/fetch-kernels-template.yaml b/syz-cluster/kernel-disk/fetch-kernels-template.yaml index 4f485708b..3f42dbe13 100644 --- a/syz-cluster/kernel-disk/fetch-kernels-template.yaml +++ b/syz-cluster/kernel-disk/fetch-kernels-template.yaml @@ -63,8 +63,7 @@ spec: REPO="{{=jsonpath(inputs.parameters.tree, '$.URL')}}" BRANCH="{{=jsonpath(inputs.parameters.tree, '$.branch')}}" echo "${NAME}: ${REPO}/${BRANCH}" - if ! git config --get remote.${NAME}.url > /dev/null; then - git remote add ${NAME} ${REPO} - fi + git remote remove ${NAME} || true + git remote add ${NAME} ${REPO} git fetch ${NAME} ${BRANCH} --tags git tag -f ${NAME}-head ${NAME}/${BRANCH} |