Add git-push.sh helper

scripts/git-push.sh

@@ -0,0 +1,25 @@
+#!/usr/bin/env bash
+# Push master to origin using Gitea token from secrets (no token in shell command line).
+set -euo pipefail
+
+SECRETS="/mnt/c/Users/alexc/.cursor/secrets/eventhub-gitea.env"
+if [ ! -f "$SECRETS" ]; then
+  echo "Missing $SECRETS — run eventhub-gitea setup-env.ps1" >&2
+  exit 1
+fi
+
+set -a
+# shellcheck disable=SC1090
+source <(sed $'s/\xEF\xBB\xBF//' "$SECRETS" | tr -d '\r')
+set +a
+
+: "${GITEA_TOKEN:?GITEA_TOKEN not set}"
+: "${GITEA_USER:=cursor-ai}"
+
+REPO_ROOT=$(cd "$(dirname "$0")/.." && pwd)
+REMOTE_NAME=$(basename "$REPO_ROOT")
+PUSH_URL="https://${GITEA_USER}:${GITEA_TOKEN}@git.sabilin.com/EventHub/${REMOTE_NAME}.git"
+
+cd "$REPO_ROOT"
+git push "$PUSH_URL" master
+echo "Pushed EventHub/${REMOTE_NAME} master"