diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2025-11-17 09:23:30 +0100 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2025-11-17 09:27:59 +0000 |
| commit | ef766cd7419cd6574f2bc8df4b866b93bc12bcb1 (patch) | |
| tree | 588def2aa3df8cf5d99cc8575239f635d67f4b70 /syz-cluster/kernel-disk | |
| parent | 9360eb0491f5390a374294b434c37203fefbc177 (diff) | |
syz-cluster: preserve branches when cloning a repo
Remap remote branches to local ones both when polling remote
repositories and when cloning the distributed repository.
This will ensure that the branches are still accessible via
TreeName/BranchName (it got broken during the latest changes).
Diffstat (limited to 'syz-cluster/kernel-disk')
| -rw-r--r-- | syz-cluster/kernel-disk/fetch-kernels-template.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/syz-cluster/kernel-disk/fetch-kernels-template.yaml b/syz-cluster/kernel-disk/fetch-kernels-template.yaml index 3caeb0166..cc7282d11 100644 --- a/syz-cluster/kernel-disk/fetch-kernels-template.yaml +++ b/syz-cluster/kernel-disk/fetch-kernels-template.yaml @@ -70,5 +70,5 @@ spec: echo "${NAME}: ${REPO}/${BRANCH}" git remote remove ${NAME} || true git remote add ${NAME} ${REPO} - git fetch ${NAME} ${BRANCH} --tags + git fetch ${NAME} ${BRANCH} --tags "+refs/heads/*:refs/heads/${NAME}/*" "+refs/tags/*:refs/tags/${NAME}/*" git tag -f ${NAME}-head ${NAME}/${BRANCH} |