diff options
author | Richard van der Hoff <github@rvanderhoff.org.uk> | 2017-11-15 11:14:21 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-15 11:14:21 +0000 |
commit | db32692f2e9ded2ab65c8e45673657db7b8984db (patch) | |
tree | 8be53d2669364afb0021df296fb0865b81a27689 /hooks | |
parent | 139fae988ecaa6af877e16995ed3ad0f5618f5ea (diff) |
Just run the linter in the commit hook (#334)
The pre-commit hook took 45 seconds to run on my machine, which was more than
enough time for me to get distracted by a swordfight in the corridor.
Let's just run the linters (which still take 6 seconds). It's not the place of
a commit hook to run every test we can think of - that is what CI is for.
Diffstat (limited to 'hooks')
-rwxr-xr-x | hooks/pre-commit | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hooks/pre-commit b/hooks/pre-commit index ec7e3e1e..ae96b9ce 100755 --- a/hooks/pre-commit +++ b/hooks/pre-commit @@ -2,4 +2,4 @@ set -eu -./scripts/build-test-lint.sh +./scripts/find-lint.sh fast |