MariaDB / mariadb-docker

Docker Official Image packaging for MariaDB
https://mariadb.org
GNU General Public License v2.0
770 stars 438 forks source link

Please bump version #273

Closed olivia-fox closed 4 years ago

olivia-fox commented 4 years ago

MariaDB 10.4.9, 10.3.19, 10.2.28, and 10.1.42 have been released (I wasn’t sure how to best create a pull request to help update the tags/builds). Thank you.

yosifkit commented 4 years ago

Thanks. The updates are automated by this job: https://doi-janky.infosiftr.net/job/update.sh/job/mariadb/ which runs update.sh in this repo, builds and tests the images, and commits the result. I'll give it a poke.

See https://github.com/docker-library/mariadb#see-a-change-merged-here-that-doesnt-show-up-on-docker-hub-yet for what happens after to get the images on the Docker Hub.

richardhd commented 4 years ago

Strangely, if you look here, you'll see a commit for the new version (10.4.9), followed by a commit for the old version (10.4.8) on the same day.

yosifkit commented 4 years ago

Those releases aren't on https://downloads.mariadb.org/mariadb/+releases/ and so update.sh skipped them. My guess is that there was a problem with them.

See https://github.com/docker-library/official-images/pull/6947 for the PR to get them built for the Docker Hub.