Consider this a lesson on serverlessness. (We have been similarly afflicted, but their git backend seems to be up; and even further, we have rediscovered what we stopped paying attention to: that with Git, a centralized repo is just a convenience, not a requirement.)
>12:56 British Summer Time
>The majority of restore processes have completed. We anticipate all data stores will be fully consistent within the next hour.