@Pierre-Marie Pédrot https://github.com/coq/coq/pull/13405#issuecomment-730037174
The git hook that checks for newlines seems to be unhappy with binary files and potentially messing with them.
git check-attr whitespace -- test-suite/.csdp.cache.test-suite say for you?
test-suite/.csdp.cache.test-suite: whitespace: unset
This seems fine, but it might be because I had to go through the untracked, auto-generated .csdp.cache file
check-eof-newline should only touch tracked files though
I think I did something along the lines of
rm .csdp.cache.test-suite; touch .csdp.cache.test-suite; make test-suite; cp .csdp.cache .csdp.cache.test-suite
did the hook say anything?
then I wanted to amend a previous commit that had generated a corrupted binary file
and the hook complained about newline errors in the file
actually commit --amend plainly failed
I had to commit --amend -n
So I suspect that the file that was generated before had been corrupted by git somehow
I also remember having had to bypass the commit hook when updating a png file in the repo.
Last updated: Oct 16 2021 at 02:03 UTC