From 71991208a9154000a717724b98c82a188ad2660c Mon Sep 17 00:00:00 2001 From: Kai Moritz Date: Tue, 24 Mar 2026 17:06:22 +0100 Subject: [PATCH] `PUSH.sh` scheitert nicht mehr, wenn der Branch neu ist --- PUSH.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/PUSH.sh b/PUSH.sh index a34ce638..f1bd86f6 100755 --- a/PUSH.sh +++ b/PUSH.sh @@ -7,7 +7,7 @@ for i in grundlagen__docker $BRANCHES; do declare -n branch=${i} echo -e "\nPushing $branch over origin/$branch" - git tag -f ${branch}--BACKUP-ORIGIN--$(date +'%Y-%m-%d--%H-%M-%S') origin/$branch - git tag -f ${branch}--BACKUP-ORIGIN--LAST origin/$branch + git tag -f ${branch}--BACKUP-ORIGIN--$(date +'%Y-%m-%d--%H-%M-%S') origin/$branch || echo "origin/$branch existiert (noch) nicht!" + git tag -f ${branch}--BACKUP-ORIGIN--LAST origin/$branch || echo "origin/$branch existiert (noch) nicht!" git push --force origin $branch:$branch done -- 2.39.5