push.bat

echo "#################### config global user name & email ####################"

git config --global user.email "60580333+r0x1@users.noreply.github.com"

git config --global user.name "r0x1"



echo "#################### git add . ####################"

git add .



echo "#################### git pull ####################"

git pull



echo "#################### git commit -m \"tiny change\" ####################"

git commit -m "tiny change"



echo "#################### git push -u origin master ####################"

git push -u origin master



echo "#################### done ####################"