MariaDB Alternate Mirrors

For improved security, I've blocked the ASN for OVH as their platform is a constant source of annoyance with spam hitting my servers. Unfortunately, I've learned MariaDB hosts their repos on OVH after I noticed failed updates because of the ASN block. Can anyone recommend alternate repos for MariaDB that are secure?