#!/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"