A git batch processing and grepping tool