-
Emmanuel Duchastenier authored
instead of a separate Github repo, use distrib repo to build docker images. `build.sh` can be run with the local build snapshot build when the version is `SNAPSHOT` see `infrastructure/build_and_publish_docker_image.groovy`
99134c33