Add pre-commit hook into tools/

0f751fa0 · Richard Hartmann · 13314340 · 0f751fa0
Commit 0f751fa0 authored 10 years ago by Richard Hartmann
--- a/tools/hooks/pre-commit
+++ b/tools/hooks/pre-commit
+#!/bin/sh
+
+# Unfortunately, Git decided to set those two during pre-commit
+unset GIT_DIR
+unset GIT_INDEX_FILE
+
+prove