Github branch not synching in Anvil Editor

I pushed some local changes to a branch in my Github repository. I was expecting them to be available in Anvil Editor, so I can run that branch with my latest changes. However, the changes are not being replicated there. When I look into my Github repository, everything looks fine and I can see the code that I modified. In Anvil Editor, the code is not there.

Opening the option “Manage Git Remotes”, my branch appear as “In Sync”
in_sync

The application is Anvil | Login

Can someone help me? This was working fine yesterday and suddenly it started to fail.

HI @renne,

I suspect this is the same issue as your other post – Anvil uses the same mechanism to replicate deletes and branch changes together.

If you press the Sync button manually, does it work? And is this something you can demonstrate on a test app we can mess with without disturbing your production code?