Full service restored DNS udpates should be well and propegated by now, and the host is confirmed to be in working order. Apologies for the disruption. (16:42 UTC — Feb 13)
Rolling back migration
There are other problems with the new host - DNS is being rolled back to the old
host and another attempt to migrate will be taken at a later date. If you
updated your /etc/hosts entry, please reset it to the old host:
45.56.100.217.
DNS error:
The builds.sr.ht DNS records were incorrectly updated to the wrong IP address,
resulting in an outage which will last for the duration of the TTL
(approximately 1 hour). A workaround is to add builds.sr.ht to your
/etc/hosts file: the correct IP address is 173.195.146.148. Please set a
reminder to remove this entry, as future DNS updates may cause local outages for
you if you do not.
(15:12 UTC — Feb 13)