I have tried to reach domainmonger.com via phone, both of their numbers, and left urgent messages about my support ticket asking them to call me on the phone. There is no way to reach a human. They will close in 40 minutes based on the hours posted on their site.
David, could you see if http://173.76.107.169/index.html works for reaching the site? That is the direct IP of us2.metamath.org. I can't test it meaningfully because it's the IP of my house. If it works, could you temporarily change the Travis script to retrieve the metamath program from there? Also, other people may feel free to use the direct IP until this problem is resolved. -- 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/e5a5e144-48eb-4c7c-8d79-22b84a7a71d3%40googlegroups.com.
