Added git-set-push-type.bat