Automatically detect pushes to repository

I actually think this is a bug because it used to work…

I edit my Anvil code on my own computer (I use git to pull it from the repository), then push changes back to the repo.

On the Anvil site, new pushes are not detected. The only way to get Anvil to sync up to recent pushes is to load a previous commit and then load the current commit via the user interface - this messing around with versions makes Anvil notice the new commit.

It used to be the case that new pushes were immediately detected by the Anvil UI, which was much more convenient. Now I have to do a minute of futzing around to get the new push detected each time I want to test a change to the code.

I’ve struggled to write this clearly - let me know if a video would be helpful to clarify the issue.

Does refreshing the browser fixes it, rather than checking it another branch?

Yes, that would also work, but also disrupts the work flow (you have to wait a bit for it to load, then open the code windows you were working on etc).