On Thursday, October 24, 2019 at 11:21:58 AM UTC-4, Benoit wrote: > > Now that it's back to normal, I have two naive questions: > > 1) Isn't the purpose of mirror sites to serve as replacements when an > event like this occurs ? However, during the event, it seems the mirror > sites were unavailble either. Can we do something about it ? >
They were unavailable because the entire domain metamath.org was suspended by the Registry. That includes all subdomains (the mirrors). The only way I see to prevent this is to have a separate domain name for each mirror (e.g. us--metamath.org) but that would cost more money. Keep in mind that this is the first time this has happened in 18 years. It bothers me that a simple bounced email can trigger the Registry to take down a domain without notice, with no effort to contact me. The Registry record has my phone number and worst case my snail mail address. There are many reasons an email can bounce. Imagine if amazon.com or google.com was suspended because they forgot to update the contact email for an employee who left. > 2) Because of the event, the Travis verification was unavailable, because > every time Travis verifies a PR, it needs to download things from us(2). > metamath.org. Would it be possible to make local copies to avoid this? > (for the metamath program, it is already on GitHub) > It doesn't matter to me, but if someone wants to do that it's fine with me. I hope this problem will never happen again. Norm -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/92cc47c0-ed06-41f0-b518-3e6712cefabf%40googlegroups.com.
