summaryrefslogtreecommitdiff
path: root/tools/pre-commit-githook
Commit message (Expand)AuthorAgeFilesLines
* Remove the reference to the VERSION file from tools/pre-commit-githookSébastien Hinderer2021-10-081-2/+2
* Add configure test to the githookDavid Allsopp2021-02-221-0/+107
* Avoid sub-shell in pre-commit-githook scanningDavid Allsopp2021-02-221-5/+7
* Quote directories in pre-commit hookDavid Allsopp2019-03-271-3/+3
* Update the pre-commit-githook for typo.pruneDavid Allsopp2018-12-201-3/+3
* Fix error in githook when no files in indexDavid Allsopp2018-07-041-3/+7
* Use version number in the Git pre-commit hookDavid Allsopp2018-07-041-4/+9
* Prefix calls to check-typo with ./David Allsopp2018-06-301-1/+1
* Allow for ocaml-typo=pruneDavid Allsopp2018-06-301-1/+19
* Don't test deleted filesDavid Allsopp2018-06-301-1/+1
* Upgrade warning for githookDavid Allsopp2018-06-301-1/+10
* Supply a Git pre-commit hook for tools/check-typoDavid Allsopp2018-06-301-0/+49