From 8b4b1f1026d123c36bee238560e10e9fe14a5dda Mon Sep 17 00:00:00 2001
From: Harrison Deng <yunyangdeng@gmail.com>
Date: Thu, 12 May 2022 13:24:47 -0500
Subject: [PATCH] Updated Jenkinsfile.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index abbd00c..e60a40a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -25,7 +25,7 @@ pipeline {
                 branch '**/develop'
             }
             steps {
-                sh "git checkout origin/develop"
+                sh "git checkout develop"
                 sh "git clean -dfX"
                 sh "git add mods/**"
                 sh "git add config/**"