| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-04-09 | [pre-commit] Check ocamlformat version and silence ocamlformat. | Théo Zimmermann | |
| Cf. #12049. | |||
| 2020-03-30 | Fix commit hook when there are no changes (eg amend message) | Gaëtan Gilbert | |
| Fix #11967 | |||
| 2020-03-24 | Run ocamlformat on modified ml / mli files in pre-commit hook. | Théo Zimmermann | |
| Thanks to `.ocamlformat-ignore`, we can call ocamlformat blindly but only the non-ignored files will be affected. Co-Authored-By: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | |||
| 2018-05-09 | use at least 6 Xs in mktemp filename templates | Sven M. Hallberg | |
| OpenBSD mktemp fails with an error otherwise. | |||
| 2018-04-17 | pre-commit : do not fail miserably if git config has `apply.whitespace = fix` | Pierre Letouzey | |
| 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. | |||
| 2018-03-31 | pre-commit: verify user overlay extensions (must be .sh). | Gaëtan Gilbert | |
| This has come up a couple times. | |||
| 2018-02-08 | pre-commit: nicer messages | Gaëtan Gilbert | |
| 2018-02-08 | pre-commit: fail gracefully if fixing whitespace removes all changes | Gaëtan Gilbert | |
| 2018-02-08 | pre-commit: add files after fixing ending newlines. | Gaëtan Gilbert | |
| 2018-02-08 | Have the pre-commit hook also fix end-of-file nl | Jason Gross | |
| 2018-02-08 | Auto-create .git/hooks/pre-commit on ./configure | Jason Gross | |
| The hook created checks to see if dev/tools/pre-commit exists, and, if so, runs it. This way, we don't have to do any fancy logic to update the git pre-commit hook. The configure script never overwrites an existing precommit hook, so users can disable it by creating an empty pre-commit hook. The check for existence is so that if users check out an old version of Coq, attempting to commit won't give an error about non-existent files. | |||
| 2018-02-08 | pre-commit hook: fix whitespace error detection | Gaëtan Gilbert | |
| --quiet implies --exit-code | |||
| 2018-02-08 | A pre-commit hook to magically fix whitespace issues. | Gaëtan Gilbert | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |