improve Git workflow

2024-09-02 16:31:13 +02:00 · 2024-09-02 16:31:13 +02:00 · 116c55cf22
parent 7b998afc08
commit 116c55cf22
2 changed files with 7 additions and 4 deletions
--- a/MAKE.bat
+++ b/MAKE.bat
@ -234,6 +234,10 @@ if "%1"=="dpush" (
 if "%1"=="push" (
    call make.bat tidy

+    if "%2"=="dp" (
+        call MAKE.bat dpush auto
+    )
+
    git diff --quiet --exit-code
    if !ERRORLEVEL! neq 0 (
        echo There are uncommitted changes. Please commit or stash them before pushing.
@ -252,9 +256,6 @@ if "%1"=="push" (
    )

    git status
-    if "%2"=="dp" (
-        call MAKE.bat dpush auto
-    )
    rem git add .
    git commit
    git diff --quiet --exit-code --cached
--- a/ga.bat
+++ b/ga.bat
@ -1,6 +1,8 @@
@echo off
 :loop
-if "%~1"=="" goto :eof
+if "%~1"=="" goto :end
 git add "%~1"
 shift
 goto loop
+:end
+git status