index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dev
/
tools
/
pre-commit
Age
Commit message (
Expand
)
Author
2020-09-28
Remove the ocamlformat git hook.
Pierre-Marie Pédrot
2020-04-09
[pre-commit] Check ocamlformat version and silence ocamlformat.
Théo Zimmermann
2020-03-30
Fix commit hook when there are no changes (eg amend message)
Gaëtan Gilbert
2020-03-24
Run ocamlformat on modified ml / mli files in pre-commit hook.
Théo Zimmermann
2018-05-09
use at least 6 Xs in mktemp filename templates
Sven M. Hallberg
2018-04-17
pre-commit : do not fail miserably if git config has `apply.whitespace = fix`
Pierre Letouzey
2018-03-31
pre-commit: verify user overlay extensions (must be .sh).
Gaëtan Gilbert
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
2018-02-08
pre-commit hook: fix whitespace error detection
Gaëtan Gilbert
2018-02-08
A pre-commit hook to magically fix whitespace issues.
Gaëtan Gilbert
