improve push flow

2024-09-04 00:22:42 +02:00 · 2024-09-04 00:22:42 +02:00 · 781e7e4889
parent e53796415a
commit 781e7e4889
1 changed files with 2 additions and 0 deletions
--- a/MAKE.bat
+++ b/MAKE.bat
@ -238,6 +238,8 @@ if "%1"=="push" (
        call MAKE.bat dpush auto
    @REM )

+    call make.bat git
+
    git diff --quiet --exit-code
    if !ERRORLEVEL! neq 0 (
        echo There are uncommitted changes. Please commit or stash them before pushing.