Merge pull request #27 from docker/docker-grouper

Slight improvement in Docker repo push
docker · Jun 12, 2017 · d06e3ba · d06e3ba
2 parents 1a918f8 + e9df00f
commit d06e3ba
Showing 1 changed file with 1 addition and 3 deletions.
diff --git 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")
     }