On Tue, Jul 05, 2022 at 05:53:00PM +0800, Philip Paeps wrote: > I've been upgrading cluster machines this week. The GeoDNS should have > directed you to another mirror. Perhaps something was cached for longer > than expected. That mirror should be up again now though. Please let > me know if the problem persists.
Worked this morning, thanks. Using the HTTP targets worked during the maintenance, for what that is worth, but I didn't try them until after the SSH targets were down (so wouldn't have had anything cached).
