Web App is deleting files on GitHub Push and Pull silently

[VassilisRoussochatzakis]

Description

Hello.

I have sync'd my Typst to my github repo, and this repo involves some scripts (.sh and .bat).

I added the .sh and .bat files locally and pushed them to my repo.

When I pulled that commit into the Web App, it worked, I saw no issues.

Later, after pushing some changes, I pulled locally and noticed the .bat file was gone.

I repeated this several times:

1. Write a .bat file and push it locally to a repo
2. Pull that commit in web app
3. Push immediately in web app
4. Pull locally

Any advice would be greatly appreciated - This is part of a larger game code repository.

Reproduction URL

No response

Browsers

Chrome

OS

Windows