From 116c55cf22a7d5aa6a70e867090b631cf7a399d6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dominik=20Madar=C3=A1sz?= Date: Mon, 2 Sep 2024 16:31:13 +0200 Subject: [PATCH] improve Git workflow --- MAKE.bat | 7 ++++--- ga.bat | 4 +++- 2 files changed, 7 insertions(+), 4 deletions(-) diff --git a/MAKE.bat b/MAKE.bat index 77e5ceb..87f9f59 100644 --- 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 diff --git a/ga.bat b/ga.bat index 9a43994..4990fd7 100644 --- 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