From d861ef17ff0f49529134d811338809b34120fe93 Mon Sep 17 00:00:00 2001
From: Matthias Wolf <m+git@sushinara.net>
Date: Tue, 4 Jun 2019 12:27:09 +0200
Subject: [PATCH] bugfix: push to the right docker mirror. (#391)

---
 deploy/Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deploy/Jenkinsfile b/deploy/Jenkinsfile
index 44e3ad6958c953..99667591061a65 100644
--- 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 ."