HJSR / git-push.bat
Varun10000's picture
Upload 16 files
6e89455 verified
Raw
History Blame Contribute Delete
989 Bytes
@echo off
echo.
echo ========================================
echo Git Commit and Push Script
echo ========================================
echo.
echo [1/3] Staging all changes...
git add -A
if errorlevel 1 (
echo ERROR: Failed to stage files
pause
exit /b 1
)
echo SUCCESS: All changes staged
echo.
echo [2/3] Committing changes...
git commit -m "Clean repo: Remove unnecessary files for HuggingFace Spaces"
if errorlevel 1 (
echo WARNING: Commit failed or no changes to commit
)
echo.
echo [3/3] Pushing to repository...
git push
if errorlevel 1 (
echo ERROR: Failed to push
echo.
echo Try running manually:
echo git push origin main
pause
exit /b 1
)
echo.
echo ========================================
echo SUCCESS! Changes pushed to remote
echo ========================================
echo.
echo Your Space should start building now!
echo Check logs at your HuggingFace Space.
echo.
pause