diff options
| -rwxr-xr-x | utils/hooks/post-commit | 11 |
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 |