Hi folks,
Due to some infrastructure problems we’re having, Anvil’s ability to handle incoming GitHub webhook notifications is currently limited. This means that occasionally a change to a remote GitHub repository will not appear in your app until you click “Sync Git Remotes” (or until another GitHub change triggers a sync). The process of pushing changes from Anvil into GitHub is unaffected.
Apologies for the inconvenience; we expect to be able to remove these limits this within the coming days.