From e9df00f825370a8101d00547676133ba473eed93 Mon Sep 17 00:00:00 2001
From: Christopher Hubing <chubing@internet2.edu>
Date: Mon, 12 Jun 2017 15:31:49 -0400
Subject: [PATCH] Slight improvement in Docker repo push

---
 Jenkinsfile | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 12bfaeea..8680745b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -66,9 +66,7 @@ node('docker') {
     docker.withRegistry('https://registry.hub.docker.com/',   "dockerhub-$maintainer") {
           def baseImg = docker.build("$maintainer/$imagename")
           baseImg.push("$tag")
-    }
-    // Push to private repo to do security scan on container
-    docker.withRegistry('https://registry.hub.docker.com/',   "dockerhub-$maintainer") {
+          // Push to private repo to do security scan on container
           def baseImg = docker.build("tieradmin/security-scan-$imagename")
           baseImg.push("$tag")
     }