#!/usr/bin/env bash set -euo pipefail REPO_DIR="/repo" BRANCH="${DEPLOY_BRANCH:-main}" REMOTE_URL="${DEPLOY_GIT_URL:-https://gitea.schwenk.online/froxxxy/playground.git}" if [ ! -d "${REPO_DIR}/.git" ]; then echo "Error: ${REPO_DIR} is not a git repository" exit 1 fi git config --global --add safe.directory "${REPO_DIR}" cd "${REPO_DIR}" if [ -n "${DEPLOY_GIT_TOKEN:-}" ]; then auth_url="https://oauth2:${DEPLOY_GIT_TOKEN}@gitea.schwenk.online/froxxxy/playground.git" git pull "${auth_url}" "${BRANCH}" else git pull origin "${BRANCH}" fi echo "Deploy pull completed for ${BRANCH}"