the IP works for me On Wed, Oct 23, 2019 at 6:27 PM Norman Megill <[email protected]> wrote:
> 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 > <https://groups.google.com/d/msgid/metamath/e5a5e144-48eb-4c7c-8d79-22b84a7a71d3%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAFXXJSvvXOM%2BQ0cO%2BP__6biS%3DDTA6g1K72BTV43qEHTYh-NJPA%40mail.gmail.com.
