We are investigating an issue with DNS configuration. The service is currently degraded.
Imported from GitHub discussion by @suricactus on 2022-11-08T13:51:38Z
Everything looks recovered now. We believe the DNS from the cloud provider was not correctly propagated so we changed the DNS service provider. We keep an eye on our services for further disruptions.
Imported from GitHub comment by @suricactus on 2022-11-08T14:22:18Z
No further problem were observed. Problem is considered solved.
Imported from GitHub comment by @suricactus on 2022-11-09T08:06:48Z