coq/dev/tools/pre-commit, branch master

Remove the ocamlformat git hook.

2020-09-28T07:28:41+00:00

[pre-commit] Check ocamlformat version and silence ocamlformat.

2020-04-09T09:52:26+00:00

Cf. #12049.

Fix commit hook when there are no changes (eg amend message)

2020-03-30T16:44:21+00:00

Fix #11967

Run ocamlformat on modified ml / mli files in pre-commit hook.

2020-03-24T09:15:17+00:00

Thanks to `.ocamlformat-ignore`, we can call ocamlformat blindly but
only the non-ignored files will be affected.

Co-Authored-By: Gaëtan Gilbert

use at least 6 Xs in mktemp filename templates

2018-05-09T16:38:44+00:00

OpenBSD mktemp fails with an error otherwise.

pre-commit : do not fail miserably if git config has `apply.whitespace = fix`

2018-04-17T08:17:49+00:00

 Having `--whitespace=` on all `git apply` in this script should make it
 insensitive to user setup in `~/.gitconfig`, at least
 `[apply] whitespace = fix`.

 Note that even this way, this script remains hugely fragile and non mature,
 and would better *not* be set by default for everybody.

pre-commit: verify user overlay extensions (must be .sh).

2018-03-30T22:58:15+00:00

This has come up a couple times.

pre-commit: nicer messages

2018-02-08T16:17:15+00:00

pre-commit: fail gracefully if fixing whitespace removes all changes

2018-02-08T16:16:52+00:00

pre-commit: add files after fixing ending newlines.

2018-02-08T16:16:39+00:00