Odd encoding error on clone and instant diff about boxes

[mathomp4]

Judging from your comment on #82, I would assume that this issue is fixed, too?

Huh. Weird. This wasn't in my GitHub notifications anymore so I thought it was closed. Yes, I don't see any encoding issues!

[tsjensen]

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:

• working-tree-encoding is only supported in newer Git versions. Incidentally, my machines that show the problem have older gits, and the ones where all is fine have newer Gits.
• The files might be encoded wrong in the repo, which I am in the process of checking.

[tsjensen]

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.

[tsjensen]

Judging from your comment on #82, I would assume that this issue is fixed, too?