#!/usr/bin/env bash # ============================================================ # Sobe o repositório JEPA-Spillover para o GitHub. # # Uso: # GH_USER=seu_usuario REPO=jepa-spillover bash scripts/push_to_github.sh # # Requisitos: git configurado. Opcional: GitHub CLI (`gh`) para criar o repo remoto. # ============================================================ set -euo pipefail ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)" cd "$ROOT" GH_USER="${GH_USER:-gbmotta}" REPO="${REPO:-jepa-spillover}" BRANCH="${BRANCH:-main}" REMOTE_URL="${REMOTE_URL:-https://github.com/${GH_USER}/${REPO}.git}" if [[ "$GH_USER" == "gbmotta" ]]; then echo "Defina GH_USER (e opcionalmente REPO). Ex.:" echo " GH_USER=fulano REPO=jepa-spillover bash scripts/push_to_github.sh" exit 1 fi # Inicializa o repositório local, se necessário if [[ ! -d .git ]]; then git init git branch -M "$BRANCH" fi git add -A git commit -m "JEPA-Spillover: estrutura, pipeline, docs, dashboard e apresentação" || echo "(nada novo para commitar)" # Cria o repositório remoto via GitHub CLI, se disponível if command -v gh >/dev/null 2>&1; then gh repo view "${GH_USER}/${REPO}" >/dev/null 2>&1 || \ gh repo create "${GH_USER}/${REPO}" --public --source=. --remote=origin --push fi # Garante o remote 'origin' if ! git remote get-url origin >/dev/null 2>&1; then git remote add origin "$REMOTE_URL" fi git push -u origin "$BRANCH" echo "Enviado para $REMOTE_URL ($BRANCH)"