When trying to update in Pkg, I’m seeing:
Warning: could not download https://pkg.julialang.org/registries
And I’ve also checked and found what I think is the probable cause, which is that https://kr.pkg.julialang.org/registries (which is evidently my local site; I’m in Taiwan) is showing a 502 bad gateway. The problem has persisted for at least the last 36 hours, so I figured it was time to post about it to draw attention to the issue…