telling git to ignore batch log files