Closed mathomp4 closed 3 years ago
Thanks for reporting this! I saw the same problem on one of my machines, too.
The good news is that the files are properly encoded, so everything works. But sometimes, they show up as changed, which is bad. I'm investigating.
The problem was introduced with v2.0.0, when we starting having these different file encodings.
Currently, there are two possible causes, both of which may be true at the same time:
It seems to me that the files were in the repo in their target encoding instead of UTF-8. Git wants files to be UTF-8 in the repo, and converts to target encoding as needed upon checkout. This failed because the files were already in the target encoding.
This should be fixed now. The Git version risk remains, but will solve itself over time.
This is something I didn't notice until now, but when I clone this repo I see:
I've never seen those last two lines during a clone before. If I then go into the repo:
and I see this diff: