improve push

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
 )