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[@]}"
+git push --atomic "$1" "dev" "master" "243" "242" "241"
 do
  echo "Pushing branch $i"
  git push "$1" "$i"
 done