improve dpush

2023-10-11 19:40:58 +02:00 · 2023-10-11 19:40:58 +02:00 · 67d5cdad7e
parent a9701c31f0
commit 67d5cdad7e
1 changed files with 2 additions and 0 deletions
--- a/MAKE.bat
+++ b/MAKE.bat
@ -175,12 +175,14 @@ if "%1"=="dpush" (
    popd

    if not "%2"=="noroot" (
+        git stash
        git add depot
        git commit -m "sync depot"
        if not "%3"=="local" (
            git pull
            git push
        )
+        git stash pop
    )

    exit /b