batch files to make git commands more convenient