A slightly improved pre-commit hook for git