There was temporary DNS issue where our master nameserver was not reachable by the global cluster.
This has been fixed now, and services are resolving again.
However some people might have caching issues, and you might need to force refresh for quicker resolution. Some ISPs also ignore DNS zone settings / RFC and caches longer than they are supposed to.
Sorry for the inconvenince, and steps has been planned to prevent this from happening in the future.
Monday, October 7, 2024