Hi! William Edwards <[email protected]>, 22/09/2025 – 12:48:16 (+0200):
> What do you mean by ‘deactivated’? Those mirrors were functional and > updated until a day before my message. Deactivated usually means: - removed from the download API; - removed from mirmon.mariadb.org; - removed from the KB page; - if applicable, removed from the mirrorbits system. It's possible that the mirror was still working though, but we did not suggest it since 2021 for sure. > Is there any way I could have been aware/informed about the deprecated > state of this mirror? Our public mirrors are provided by the community and by volunteers, we can't be sure that they will remain forever and above all, we usually don't receive notice by mirror maintainers in advance (or ever) that they will shut them down. So, even if we wanted, I don't see a way to inform our users... > Having to replace it on 100+ servers short-term is not the most fun > activity :) Yep, very sorry for that! The contact that I have for this mirror is [email protected]. You might want to ask them if it's only a temporary downtime which might give you some time to move to another mirror. For large deployment, I suggest you to use https://mirror.mariadb.org, this is a mirror that we (MariaDB Foundation) own and maintain and that will remain in time. In case we move to another URL or system, we will for sure inform our users in time, probably on the mailing list system but also with a blog post. -- Faustin Lammler MariaDB Foundation GPG: F652 BCD1 1AA8 8975 F010 48A5 390A 2F27 832A 5C79
signature.asc
Description: PGP signature
_______________________________________________ discuss mailing list -- [email protected] To unsubscribe send an email to [email protected]
