Updated push.bat

Since neither of us is using the git CLI for commits