"There is a mismatch between file name and format" error when pushing to git repo

Question

"There is a mismatch between file name and format" error when pushing to git repo

Closed this issue 11 days ago · 1 comments

peng1999 commented a month ago

Description

After writing the commit message and click "push" button, the error occurs and refuse to proceed pushing.

This is the layout of the repo:

The latex folder is not used but I want to keep that. Is that cause a problem?

Reproduction URL

No response

Browsers

Firefox

OS

macOS

Answer 1 · 2024-11-15T16:23:55.000Z

This is now fixed in almost all cases. Previously, faulty logic prevented the move of file types not known to the web app. This is now resolved, see #244. It can still happen in rare edge cases (i.e. when a file that was UTF-8 decodable ceases to be). We are tracking this internally but since it should be now fixed for almost all cases, I'll close this issue.