Git: pompt the user when a 'pre-commit hook failure' failed occured
Fixed: minor indentation style