From 0f751fa01fb830163b378c9559fb6eae8cba4b46 Mon Sep 17 00:00:00 2001
From: Richard Hartmann <richih@debian.org>
Date: Wed, 11 Feb 2015 19:51:50 +0100
Subject: [PATCH] Add pre-commit hook into tools/

---
 tools/hooks/pre-commit | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 tools/hooks/pre-commit

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
-- 
2.39.2