Files
playground/hooks/deploy.sh
T
Frank Schwenk edbe4d1343 fix: deploy hook pulls via HTTPS, not SSH origin
The hook container has no ssh binary; origin on boka is ssh://.
Always pull from the HTTPS remote URL instead.

Co-authored-by: Cursor <cursoragent@cursor.com>
2026-07-05 16:28:59 +02:00

29 lines
676 B
Bash
Executable File

#!/usr/bin/env bash
set -euo pipefail
REPO_DIR="/repo"
BRANCH="${DEPLOY_BRANCH:-main}"
HTTPS_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
cd "${REPO_DIR}"
# Container has no ssh client and no writable $HOME for git config --global
git_cmd() {
git -c "safe.directory=${REPO_DIR}" "$@"
}
if [ -n "${DEPLOY_GIT_TOKEN:-}" ]; then
pull_url="https://oauth2:${DEPLOY_GIT_TOKEN}@gitea.schwenk.online/froxxxy/playground.git"
else
pull_url="${HTTPS_URL}"
fi
git_cmd pull "${pull_url}" "${BRANCH}"
echo "Deploy pull completed for ${BRANCH}"