From c7ff7b7ebd89fecd6811ccc38577cf9ea8a28945 Mon Sep 17 00:00:00 2001
From: Sebastien <seb6596@gmail.com>
Date: Thu, 1 Mar 2018 12:35:15 +0100
Subject: [PATCH] Wrong Jenkinsfile

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

diff --git a/Jenkinsfile b/Jenkinsfile
index f2a5948..262af89 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -2,7 +2,7 @@ node {
     def app
    stage('Clone') { // for display purposes
       // Get some code from a GitHub repository
-      git 'https://github.com/BrokenFire/BrokenDiscordBot.git'
+      git url: 'https://github.com/BrokenFire/BrokenDiscordBot.git', branch: 'devel'
    }
    stage('Gradle Buil'){
         build job: 'Bot Discord Gradle', wait: true
@@ -18,7 +18,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()
+        app.push("devel")  
         
     }
     stage('Cleaning'){