the sandia labs mirror is dead as of 2017. FQDN does not resolve. can we remove it?
Mirror is still dead. I tried using it within the last couple of weeks, and another user has tried to use it today.
I think we should remove it but I don't know what the IP originally was so it's a bit difficult (it wasn't reported in either of the other bugs I could find).
Ouch. What about updating https://gentoo.org/downloads/mirrors/. Does that need to be reported elsewhere? I'm partly asking because there appear to be multiple mirrors not responding which are listed on that page.
can the www team remove the sandia labs mirror from our listing on the site (at https://gentoo.org/downloads/mirrors/ ).
This took 8 months to even fucking confirm?!?
No wonder Daniel forked funtoo. :c
Functional mirrors are a fundamental prerequisite of an open source Linux os.
If you don't have a fast easy way to destroy dead mirrors then pack it in. You're done.
Maybe consider packing mirrors behind a DNS srv record haproxy automated cluster? Or at very least an automated mirror canary that updates a master list of sites dynamically based on canary response. Do you even have fucking health checks for mirrors?!
Full disclosure I'm rather faded while posting this, but the lapse here is definitely a goddamn issue. I'm also willing to help fix this issue but Christ's whiskers....this is a travesty.
Sadly the mirror team is simultaneously dead and not accepting new members.
and it's gone, the IP wasn't needed.