ci: add push.sh

push.sh

@@ -0,0 +1,39 @@
+#!/bin/sh
+#
+# This file is part of ZigBrains.
+#
+# Copyright (C) 2023-2025 FalsePattern
+# All Rights Reserved
+#
+# The above copyright notice and this permission notice shall be included
+# in all copies or substantial portions of the Software.
+#
+# ZigBrains is free software: you can redistribute it and/or modify
+# it under the terms of the GNU Lesser General Public License as published by
+# the Free Software Foundation, only version 3 of the License.
+#
+# ZigBrains is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU Lesser General Public License for more details.
+#
+# You should have received a copy of the GNU Lesser General Public License
+# along with ZigBrains. If not, see <https://www.gnu.org/licenses/>.
+#
+
+set -e
+
+declare -a branches=("dev" "master" "242" "241")
+
+die () {
+    echo >&2 "$@"
+    exit 1
+}
+
+[ "$#" -eq 1 ] || die "1 argument required, $# provided"
+
+for i in "${branches[@]}"
+do
+  echo "Pushing branch $i"
+  git push "$1" "$i"
+done