pre-commit

A slightly improved pre-commit hook for git