Package oddities

I’m fine in the US, but some others on HOJ (Humans of Julia) discord are unable to update packages. They noticed Status says it’s offline. I tried to ping and I mistyped as and got a ping, which is disturbing.

Yes, the pkg server seems to be down. A workaround is to set


or to any other working server.

This may be related to the recent github outage: GitHub Status - Incident History.

I’m fairly certain that the package server machines are independent of GitHub infrastructure. The content of the package servers may become delayed by GitHub outages though.