David Allsopp
|
db215dda8f
|
Quote directories in pre-commit hook
Belt-and-braces, since we don't use spaces.
|
2019-03-27 10:32:40 +00:00 |
|
David Allsopp
|
2b41b3f0a5
|
Update the pre-commit-githook for typo.prune
|
2018-12-20 11:46:34 +01:00 |
|
David Allsopp
|
6f3ae41e29
|
Fix error in githook when no files in index
For example, when amending a commit message.
|
2018-07-04 11:51:34 +02:00 |
|
David Allsopp
|
4f6e89527e
|
Use version number in the Git pre-commit hook
Otherwise it'll get irritating when working with older-based branches.
|
2018-07-04 11:51:34 +02:00 |
|
David Allsopp
|
38caf1cc97
|
Prefix calls to check-typo with ./
This ensures that check-typo's default rules are picked up!
|
2018-06-30 17:41:48 +01:00 |
|
David Allsopp
|
3f8c68b9d4
|
Allow for ocaml-typo=prune
|
2018-06-30 16:54:47 +01:00 |
|
David Allsopp
|
5af8d6d946
|
Don't test deleted files
|
2018-06-30 16:46:59 +01:00 |
|
David Allsopp
|
f1815fe487
|
Upgrade warning for githook
|
2018-06-30 16:43:34 +01:00 |
|
David Allsopp
|
546dd121cb
|
Supply a Git pre-commit hook for tools/check-typo
Automatically runs tools/check-typo and rejects the commit if they don't
pass.
|
2018-06-30 16:43:32 +01:00 |