[arch-dev-public] archlinux/base docker image will no longer be updated

Hi all, as the archlinux/base image has been replaced by https://hub.docker.com/repository/docker/archlinux/archlinux I'll no longer manually build this image alongside the ISO image release. I guess it would be best to remove the repository so people will not silently keep using an outdated image. Greetings, Pierre