summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xutils/hooks/post-commit11
1 files changed, 11 insertions, 0 deletions
diff --git a/utils/hooks/post-commit b/utils/hooks/post-commit
new file mode 100755
index 00000000..c8b1739a
--- /dev/null
+++ b/utils/hooks/post-commit
@@ -0,0 +1,11 @@
+#!/bin/sh
+
+# Execute the checkstyle script after committing any code. This allows the
+# commit to succeed, but ensures that the developer is aware of any potential
+# issues immediately, and can resolve them and fix rapidly with:
+# git commit --amend
+#
+# To utilise this hook, install this file with:
+# cp utils/hooks/post-commit .git/hooks/post-commit
+
+./utils/checkstyle.py