push.sh

#!/bin/bash
# Push script for /share/u/wendler/code/pong
# This will push all files to Hugging Face Spaces

set -e

cd /share/u/wendler/code/pong

echo "🚀 Pushing Neural Pong to Hugging Face Spaces..."
echo ""

# Check if we're in a git repo
if [ ! -d ".git" ]; then
    echo "❌ Error: Not a git repository"
    exit 1
fi

# Stage all files
echo "📁 Staging files..."
git add .

# Check status
echo ""
echo "📋 Files to be committed:"
git status --short | head -20

# Commit changes
echo ""
if git diff --cached --quiet; then
    echo "✅ No changes to commit"
else
    echo "💾 Committing changes..."
    git commit -m "Add Neural Pong application files" || git commit --amend --no-edit
    echo "✅ Changes committed"
fi

# Check remote
echo ""
echo "🔗 Checking remote..."
git remote -v

# Check branch
BRANCH=$(git branch --show-current 2>/dev/null || echo "main")
echo "🌿 Current branch: $BRANCH"

# Push
echo ""
echo "📤 Pushing to Hugging Face Spaces..."
if git push -u origin $BRANCH 2>&1; then
    echo ""
    echo "✅ Successfully pushed!"
else
    echo ""
    echo "⚠️  Push failed, trying force push..."
    git push -u origin $BRANCH --force
    echo ""
    echo "✅ Force pushed successfully!"
fi

echo ""
echo "🌐 Your Space is available at:"
echo "   https://huggingface.co/spaces/wendlerc/pong"
echo ""
echo "The build should start automatically. Check the Logs tab for progress."