diff --git a/tools/hooks/pre-commit b/tools/hooks/pre-commit
new file mode 100755
index 0000000000000000000000000000000000000000..ddb0550d640a1b4bd901877b090df5278df7e729
--- /dev/null
+++ b/tools/hooks/pre-commit
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+# Unfortunately, Git decided to set those two during pre-commit
+unset GIT_DIR
+unset GIT_INDEX_FILE
+
+prove