From c6b603a902d0449b54aac035e65e9297839b177a Mon Sep 17 00:00:00 2001
From: Harrison Deng <yunyangdeng@gmail.com>
Date: Thu, 12 May 2022 15:27:55 -0500
Subject: [PATCH] Removed unecessary git checkout in Jenkinsfile.

---
 Jenkinsfile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index e3dc103..776546f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -43,7 +43,6 @@ pipeline {
                     sh "git pull -X theirs origin latest-modpack"
                     sh "git push --set-upstream origin latest-modpack"
                 }
-                sh "git checkout develop"
             }
         }
         stage("deploy") {