batch files for git stuff