diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2025-11-25 14:46:21 +0100 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2025-11-26 11:31:15 +0000 |
| commit | 951f29f3fa85dd9109f4856608a4a18949f67776 (patch) | |
| tree | 09f5e6d8f84e0f2a9a5d2cd84ba029811a423a6a /syz-cluster/kernel-disk | |
| parent | 7fd3eae17beda566d0838b6b6fedf5fedc91c2ee (diff) | |
syz-cluster: don't use custom git tree tags
Since remote branches are already mapped to "tree/name" local branches,
there's no need for the special "tree-HEAD" tag anymore. Simplify the
code.
Diffstat (limited to 'syz-cluster/kernel-disk')
| -rw-r--r-- | syz-cluster/kernel-disk/fetch-kernels-template.yaml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/syz-cluster/kernel-disk/fetch-kernels-template.yaml b/syz-cluster/kernel-disk/fetch-kernels-template.yaml index b99be23dd..0f49e432f 100644 --- a/syz-cluster/kernel-disk/fetch-kernels-template.yaml +++ b/syz-cluster/kernel-disk/fetch-kernels-template.yaml @@ -72,4 +72,3 @@ spec: git remote add ${NAME} ${REPO} git fetch ${NAME} ${BRANCH} --tags "+refs/heads/*:refs/heads/${NAME}/*" "+refs/tags/*:refs/tags/${NAME}/*" git log -1 --format="%h %an %ad %s" ${NAME}/${BRANCH} - git tag -f ${NAME}-head ${NAME}/${BRANCH} |