From 731851f50682438388bd95a081313e04ed920a52 Mon Sep 17 00:00:00 2001
From: Dominik Chilla <dominik@zwackl.de>
Date: Thu, 13 Jun 2019 18:11:52 +0200
Subject: [PATCH] Docker push with HTTPS

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

diff --git a/Jenkinsfile b/Jenkinsfile
index a8f8d92..bb4532b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -22,7 +22,7 @@ node {
   }
   
   stage('Push image') {
-    docker.withRegistry('http://dockreg-fra.zwackl.local:5000') {
+    docker.withRegistry('https://dockreg-fra.zwackl.de') {
       app.push()
     }
   }