> On Sep 6, 2022, at 12:51 AM, 'Alexander van der Vekens' via Metamath
> <[email protected]> wrote:
>
> Currently, us2.metamath.org is not reachable anymore - is this intended?
I recommend normally using us.metamath.org (main site), not us2.metamath.org
(Norm's old computer).
As far as I can tell, us.metamath.org is working normally. If it *ever* goes
down for
a nontrivial amount of time, let me know.
Unfortunately mirrors are currently running off rsync.metamath.org, and that's
really us2.metamath.org
instead of us.metamath.org. I intend to eventually move rsync to refer to
us.metamath.org, but
we're having trouble with a DNS transfer and that is temporarily halting things.
I'll ask Susan's partner to reboot Norm's old computer, that may help.
--- 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/2FDD4D1D-A8E4-40EB-877E-5805D35CB4E8%40dwheeler.com.
