pull before push in dpush

2023-10-11 09:20:25 +02:00 · 2023-10-11 09:20:25 +02:00 · afaeba45da
parent 0219430edb
commit afaeba45da
1 changed files with 1 additions and 0 deletions
--- a/MAKE.bat
+++ b/MAKE.bat
@ -178,6 +178,7 @@ if "%1"=="dpush" (
        git add depot
        git commit -m "sync depot"
        if not "%3"=="local" (
+            git pull
            git push
        )
    )