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.
