From 4093f97dec674d6fccb0bf26d6fca24001c334f9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dominik=20Madar=C3=A1sz?= Date: Fri, 11 Aug 2023 01:17:10 +0200 Subject: [PATCH] another change --- MAKE.bat | 3 +++ 1 file changed, 3 insertions(+) diff --git a/MAKE.bat b/MAKE.bat index ed8331e..09a70e8 100644 --- a/MAKE.bat +++ b/MAKE.bat @@ -401,6 +401,9 @@ if "%1"=="push" ( git status git add . git commit + if "%2"=="out" ( + git push + ) exit /b )