From db1d3477c149fea0e1ea5b9c90533191bc3ac847 Mon Sep 17 00:00:00 2001 From: eleonore12345 Date: Mon, 15 Jul 2024 09:49:11 +0200 Subject: [PATCH] moins tagref dans git_update.sh --- git_update.sh | 5 ----- 1 file changed, 5 deletions(-) diff --git a/git_update.sh b/git_update.sh index 8a93572..74589dc 100755 --- a/git_update.sh +++ b/git_update.sh @@ -73,11 +73,6 @@ run cd "$dst" if [ -d .git ] ; then - # Compute git branch and tag - tagref= - if [ -n "$tag" ] ; then - tagref="tags/$tag" - fi run git submodule update --init --recursive --force --depth=1 --remote run git fetch --tags --depth=1 --prune --prune-tags origin $ref run git reset --hard FETCH_HEAD