Docker maintenance and deployment
The new test dockers live in
registry.gitlab.com/ase/ase located at https://gitlab.com/ase/ase/container_registry.
(from gitlab.com/ase/ase click Packages -> Container Registry in the left-hand menu)
The dockerfiles which define these dockers currently live in https://gitlab.com/ase/ase-dockers.
The dockers can be built and pushed using the hacky (but simple) makefiles included there.
We need a proper workflow for the dockers. How do we deploy them, when and why do we update them, and so on.
I know @erhart started looking into a more systematic way of doing these things.