Spaces:
Sleeping
Sleeping
Download git-push.bat from Varun10000/HJSR: direct link, hf CLI and curl.
- Browser
- Download file 989 Bytes
-
https://huggingface.co/spaces/Varun10000/HJSR/resolve/main/git-push.bat
- Command line
-
hf download hf://spaces/Varun10000/HJSR/git-push.bat
-
curl -L -o git-push.bat https://huggingface.co/spaces/Varun10000/HJSR/resolve/main/git-push.bat
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 | |