diff --git a/Jenkinsfile b/Jenkinsfile
index e1c44b6..df37195 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -15,8 +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("devel")
-        //app.push("${env.BUILD_NUMBER}")
+        app.push() 
+        app.push("${env.BUILD_NUMBER}") 
         
     }
     stage('Cleaning'){