WHOIS reports a record change at 2019-10-23T14:19:04Z with Z standing for UTC. Possibly that was the timestamp of the record change that put the clientHold on the record.
The time is now 2019-10-24T09:00:00Z and while I having found a WHOIS copy newer than 2019-10-23T17:34:45Z I see that www.metamath.org and us2.metamath.org are resolving for me. Even cn.metamath.org works. And dig us2.metamath.org @a0.org.afilias-nst.info +authority points to the correct name servers for the domain and no longer gives the bogus NY IP. WHOIS update -- checking with PIR gives me a WHOIS lookup closer to the source of truth: https://thenew.org/get/find-my-org/whois/?domain=metamath.org Updated Date: 2019-10-24T04:41:07Z and no clientHold. Happy Computing! On Wednesday, October 23, 2019 at 6:43:31 PM UTC-7, David A. Wheeler wrote: > > On Wed, 23 Oct 2019 15:27:32 -0700 (PDT), Norman Megill <[email protected] > <javascript:>> wrote: > > 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? > > Done. > > All: If you have outstanding pull requests, "git checkout develop; git > pull" to sync your develop branch. > Then "git checkout YOUR_BRANCH; git merge develop" to bring in the recent > change > to remove DNS names. Then "git push" to push out the change, which should > now pass. > > --- David A. Wheeler > -- 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/f9669559-c46b-4d93-bf9d-cf3c24f407e4%40googlegroups.com.
