From 9453837b79e735eb3337d5e2ddc6d8b5ed7d8939 Mon Sep 17 00:00:00 2001
From: BrokenFire <seb6596@gmail.com>
Date: Sun, 18 Feb 2018 12:22:53 +0100
Subject: [PATCH] Change Jenkinsfile for devel

---
 Jenkinsfile | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 90cd4f8..e1c44b6 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -15,10 +15,8 @@ node {
          * First, the incremental build number from Jenkins
          * Second, the 'latest' tag.
          * Pushing multiple tags is cheap, as all the layers are reused. */
-        // app.push("${env.BUILD_NUMBER}")
-        // app.push("latest")
-        app.push()
-        app.push("${env.BUILD_NUMBER}")
+        app.push("devel")
+        //app.push("${env.BUILD_NUMBER}")
         
     }
     stage('Cleaning'){