From 0618a98139e6d5c9e133bbe6bad4dae461ef8428 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dominik=20Madar=C3=A1sz?= <zaklaus@outlook.com>
Date: Mon, 19 Aug 2024 00:15:19 +0200
Subject: [PATCH] improve push

---
 MAKE.bat | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/MAKE.bat b/MAKE.bat
index fd2d369..758ae46 100644
--- a/MAKE.bat
+++ b/MAKE.bat
@@ -248,6 +248,24 @@ if "%1"=="push" (
     call make.bat vps
     call make.bat tidy
 
+    @REM sync depot
+    git stash
+    git add depot
+    git commit -m "sync depot"
+    if not "%3"=="local" (
+        git pull
+        git push
+    )
+    git stash pop
+
+    @REM sync website
+    git stash
+    git add website
+    git commit -m "sync website"
+    git pull
+    git push
+    git stash pop
+
     exit /b
 )