Merge branch 'master' into indexing

.gitlab-ci.yml

@@ -28,3 +28,5 @@ build-image:
     - mv nebelhorn docker/
     - echo "{\"auths\":{\"$CI_REGISTRY\":{\"username\":\"$CI_REGISTRY_USER\",\"password\":\"$CI_REGISTRY_PASSWORD\"}}}" > /kaniko/.docker/config.json
     - /kaniko/executor --context $CI_PROJECT_DIR/docker --dockerfile $CI_PROJECT_DIR/docker/dockerfile --destination $CI_REGISTRY_IMAGE:latest
+  only:
+    - master