Removed a batch file used to manage my Git repository