From: Richard Hartmann <richih@debian.org>
Date: Wed, 11 Feb 2015 18:51:50 +0000 (+0100)
Subject: Add pre-commit hook into tools/
X-Git-Url: https://git.madduck.net/code/vcsh.git/commitdiff_plain/0f751fa01fb830163b378c9559fb6eae8cba4b46

Add pre-commit hook into tools/
---

diff --git a/tools/hooks/pre-commit b/tools/hooks/pre-commit
new file mode 100755
index 0000000..ddb0550
--- /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