From 5d50c66842f95e00fab5097d38445f22d2ef1716 Mon Sep 17 00:00:00 2001
From: BrokenFire <seb6596@gmail.com>
Date: Tue, 27 Feb 2018 12:28:59 +0100
Subject: [PATCH] edit branch on devel

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 062f651..fbd958c 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('Build image') {
         /* This builds the actual image; synonymous to