ci: update push.sh

2025-04-17 13:57:44 +02:00
1 changed files with 1 additions and 7 deletions
--- a/push.sh
+++ b/push.sh
@ -23,8 +23,6 @@

 set -e

-declare -a branches=("dev" "master" "243" "242" "241")
-
 die () {
    echo >&2 "$@"
    exit 1
@ -32,8 +30,4 @@ die () {

 [ "$#" -eq 1 ] || die "1 argument required, $# provided"

-for i in "${branches[@]}"
-do
-  echo "Pushing branch $i"
-  git push "$1" "$i"
-done
+git push --atomic "$1" "dev" "master" "243" "242" "241"