From f6fd4979d895184abca9fb023d7d557a1e6f6110 Mon Sep 17 00:00:00 2001
From: William Petit <wpetit@cadoles.com>
Date: Fri, 25 Aug 2023 10:58:57 -0600
Subject: [PATCH] ci: do not pull before updating emissary release version

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 6b34a94..e307b63 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -53,7 +53,6 @@ pipeline {
                         echo '${params.emissaryRelease}' > emissary_release.txt
                         git add emissary_release.txt
                         git commit -m "feat: use emissary ${params.emissaryRelease}"
-                        git pull --rebase
                         git push origin \$(git rev-parse HEAD):${env.GIT_BRANCH}
                         """
                     }