From b8a06831c57f60c92457e91da8d01c130dd253ed Mon Sep 17 00:00:00 2001
From: chris <cg@zknt.org>
Date: Tue, 22 Oct 2019 10:22:16 +0200
Subject: [PATCH] try second registry

---
 Jenkinsfile | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 9394e82..d2bbedf 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -17,6 +17,15 @@ pipeline {
             customImage.push(version.split(/\./)[0,1].join('.'))
             customImage.push(version.split(/\./)[0])
             customImage.push("latest")
+
+            registry_credentials = "3deeee3d-6fce-4430-98dd-9b4db56f43f7"
+            withDockerRegistry([ credentialsId: registry_credentials ]) {
+              def official_image = repo+'/'+project+':'+version.split(/\./)[0,1].join('.')
+              sh "docker image tag " + registry+'/'+repo+'/'+project+':'+version + ' ' + official_image
+              sh "docker image tag " + registry+'/'+repo+'/'+project+':'+version + ' ' + official_image.split(/\:/)[0]
+              sh "docker push " + official_image
+              sh "docker push " + official_image.split(/\:/)[0]
+            }
           }
         }
       }