Editor issues 2023-12-18

[meredydd]

Hi folks,

I can confirm we experienced availability issues with the Editor earlier today, between about 06:00 and 07:00 and 10:00 and 10:25UTC today. We have tracked down the cause, which turned out to be related to the GitHub automatic sync system. We’ve deployed an initial fix to prevent this issue recurring. However, it does have some side effects on GitHub sync, described below:

Notice: GitHub auto sync limited

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 da…