From 3f88e8e09ab1837b94e9919039a5f64712f02dc6 Mon Sep 17 00:00:00 2001
From: BrokenFire <seb6596@gmail.com>
Date: Sun, 18 Feb 2018 13:14:52 +0100
Subject: [PATCH] test

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 45030f6..0e57dd5 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -15,7 +15,7 @@ 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("devel") 
+        app.push() 
         
     }
     stage('Cleaning'){