From a0f996f3f2b6341c9594a972c639d18d20097ae7 Mon Sep 17 00:00:00 2001
From: Harrison Deng <yunyangdeng@gmail.com>
Date: Thu, 12 May 2022 13:17:55 -0500
Subject: [PATCH] Perform checkout before committing in pipeline.

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

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