#!/usr/bin/env bash set -euo pipefail SPACE_NAME="${1:-}" if [[ -z "$SPACE_NAME" ]]; then echo "Usage: bash deploy.sh " exit 1 fi if [[ ! -d .git ]]; then echo "Error: run from a git repository" exit 1 fi HF_REMOTE="hf" DEPLOY_BRANCH="deploy" SPACE_URL="https://huggingface.co/spaces/${SPACE_NAME}" if git remote | grep -q "^${HF_REMOTE}$"; then git remote set-url "${HF_REMOTE}" "${SPACE_URL}" else git remote add "${HF_REMOTE}" "${SPACE_URL}" fi if ! git show-ref --verify --quiet "refs/heads/${DEPLOY_BRANCH}"; then git checkout -b "${DEPLOY_BRANCH}" fi CURRENT_BRANCH=$(git rev-parse --abbrev-ref HEAD) if [[ "$CURRENT_BRANCH" != "$DEPLOY_BRANCH" ]]; then git checkout "$DEPLOY_BRANCH" fi git add . if ! git diff --staged --quiet; then git commit -m "Deploy RTSS diff viewer" fi git push "${HF_REMOTE}" "${DEPLOY_BRANCH}:main" echo "Deployment complete: ${SPACE_URL}"