WebApp Git error: "Failed to push changes: There is a mismatch between file name and format"

I am experiencing this (closed issue):

I am not quite sure what to do. I only have .typ, .png, .jpg, .jpeg, .bib and .svg files in my project. Everything worked fine the day before yesterday, but I can neither push or pull using Git.

This is in the WebApp.


Screenshot 2025-05-30 173102

1 Like

I’m facing the exact same issue. I disconnected the repo, deleted the github repo and made a new one and reconnected which worked. Edited only one file and as I wanted to push or pull I got the same error message as you. This is very unfortunate as I just bought the pro plan to have the online and offline sync ability for my (soon due) thesis.

1 Like

I am sorry to hear that!
I have not yet found a solution, and am still experiencing the problem.
(I am also in the exact same boat, having bought the pro plan to sync my bachelor’s thesis)

1 Like

I am experiencing this error as well.

1 Like

The problem should be fixed now. It was introduced on Friday in the course of fixing another bug. We apologize for the inconvenience.

2 Likes

Thank you. It seems fixed.

In the meantime, I’ve had to manually push my changes to GitHub (downloading the files). However, when I now tried to pull the changes from the WebApp, it presented me with some, what I guess are, merge conflicts. Even though I chose to keep all the Typst files (from the WebApp) multiple changes were made to my files, that looked a lot like some kind of corruption. Luckily, I had a backup and have restored it. If you are interested in the “corruption”: https://github.com/ETIMC/Report/commit/9009678c76e9137a592bf87857291c910cf1b312

Thanks for the details and the backup branch, it will be useful in investigating that issue.

1 Like

Thank you for fixing and the update! Works like a charm again now. Absolutely back in love with Typst <3