PUSH.sh → push.sh: source branches.sh

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

diff --git a/PUSH.sh b/PUSH.sh
deleted file mode 100755 (executable)
index f1bd86f..0000000
--- a/PUSH.sh
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/bin/bash
-set -e
-
-source BRANCHES.sh
-
-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 || 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

diff --git a/push.sh b/push.sh
new file mode 100755 (executable)
index 0000000..ebcf19d
--- /dev/null
+++ b/push.sh
@@ -0,0 +1,13 @@
+#!/bin/bash
+set -e
+
+source branches.sh
+
+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 || 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