Dockerfiles with other files stored in branches: p9, p10 and sisyphus. New images could be created via mkdocker.py. To push images docker login could be needed. To build and push all images for all branches run ./build.sh.