17 lines
538 B
Bash
Executable File
17 lines
538 B
Bash
Executable File
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
|
|
# Helper script that pushes the current branch to the Gitea remote using a personal
|
|
# access token stored in $GITEA_TOKEN. Keeps the token out of shell history.
|
|
|
|
if [[ -z "${GITEA_TOKEN:-}" ]]; then
|
|
echo "Missing GITEA_TOKEN (export it before running this script)." >&2
|
|
exit 1
|
|
fi
|
|
|
|
readonly REMOTE_URL="https://truetype:${GITEA_TOKEN}@gitea.solarpi.net/truetype/dashgradio_tunnel.git"
|
|
readonly BRANCH="${1:-main}"
|
|
|
|
echo "Pushing branch ${BRANCH} to Gitea..."
|
|
git push "${REMOTE_URL}" "${BRANCH}"
|