Change MariaDB mirror source
Change MariaDB mirror source

Digitalocean has proven to be an unreliable mirror so let's switch to
another one (from the official MariaDB site).

roots/trellis,roots/trellis,pressbooks/trellis,roots/bedrock-ansible,roots/bedrock-ansible,pressbooks/trellis