[Resolved] builds.sr.ht outage

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)