Browse Source

2025-10-15 22:58:20.22

master
tianzhendong 2 months ago
parent
commit
8032d8b68d
  1. 2
      gitpush.bat

2
gitpush.bat

@ -2,6 +2,8 @@
echo start git push.... echo start git push....
@echo on @echo on
git pull origin master
SET time1=%date:~0,4%-%date:~5,2%-%date:~8,2% %time% SET time1=%date:~0,4%-%date:~5,2%-%date:~8,2% %time%
ECHO current time is:%time1% ECHO current time is:%time1%

Loading…
Cancel
Save