coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of dev/tools/pre-commit

October 2021

coqbot-app[bot]
Merge PR #14980: Less noisy "git commit" messages from pre-commit hook
committed
Gaëtan Gilbert
Less noisy "git commit" messages from pre-commit hook
committed

May 2021

Théo Zimmermann
Add examples from former detailed tactic examples chapter to their new location.
committed
coqbot-app[bot]
Merge PR #14316: Fix pre-commit hook on binary files
committed
Gaëtan Gilbert
Fix pre-commit hook on binary files
committed

October 2020

coqbot-app[bot]
Merge PR #12985: Remove ocamlformat from the linter and the pre-commit hook.
committed

September 2020

Pierre-Marie Pédrot
Remove the ocamlformat git hook.
committed

April 2020

Gaëtan Gilbert
Merge PR #12056: [pre-commit] Check ocamlformat version and silence ocamlformat.
committed
Théo Zimmermann
[pre-commit] Check ocamlformat version and silence ocamlformat.
committed

March 2020

Emilio Jesus Gallego Arias
Merge PR #11968: Fix commit hook when there are no changes (eg amend message)
committed
Gaëtan Gilbert
Fix commit hook when there are no changes (eg amend message)
committed
Emilio Jesus Gallego Arias
Merge PR #11874: Auto-format micromega files in pre-commit hook.
committed
Théo Zimmermann
Run ocamlformat on modified ml / mli files in pre-commit hook.
committed

May 2018

Gaëtan Gilbert
Merge PR #7470: use at least 6 Xs in mktemp filename templates
committed
Sven M. Hallberg
use at least 6 Xs in mktemp filename templates
committed

April 2018

Gaëtan Gilbert
Merge PR #7278: pre-commit : do not fail miserably if git config has `apply.whitespace = fix`
committed
Pierre Letouzey
pre-commit : do not fail miserably if git config has `apply.whitespace = fix`
committed

March 2018

Emilio Jesus Gallego Arias
Merge PR #6950: pre-commit, linter: verify user overlay extensions (must be sh)
committed
Gaëtan Gilbert
pre-commit: verify user overlay extensions (must be .sh).
committed

February 2018

Maxime Dénès
Merge PR #6283: A pre-commit hook to magically fix whitespace issues.
committed
Gaëtan Gilbert
pre-commit: nicer messages
committed
Gaëtan Gilbert
pre-commit: fail gracefully if fixing whitespace removes all changes
committed
Gaëtan Gilbert
pre-commit: add files after fixing ending newlines.
committed
Jason Gross
Have the pre-commit hook also fix end-of-file nl
committed
Jason Gross
Auto-create .git/hooks/pre-commit on ./configure
committed
Gaëtan Gilbert
pre-commit hook: fix whitespace error detection
committed
Gaëtan Gilbert
A pre-commit hook to magically fix whitespace issues.
committed