bugfix: push to the right docker mirror. (spack#391)

matz-e · Jun 4, 2019 · d861ef1 · d861ef1
1 parent 1fe8e67
commit d861ef1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/deploy/Jenkinsfile b/deploy/Jenkinsfile
@@ -4,7 +4,7 @@ def build_and_deploy_docker() {
     def rev = "--build-arg revision=${sha1}"
     if (pull == null) {
         sh "docker build -f docker/Dockerfile ${proxy} ${rev} -t bluebrain/spack ."
-        sh "docker push bluebrain/spack"
+        sh "docker push docker.io/bluebrain/spack"
     } else {
         def pr = "--build-arg pr=${env.ghprbPullId}"
         sh "docker build -f docker/Dockerfile ${proxy} ${rev} ${pr} -t bluebrain/spack ."