From 298793a5158fddfda2b5561338d512f4668b082e Mon Sep 17 00:00:00 2001
From: Markus Pfeiffer <markus.pfeiffer@arangodb.com>
Date: Thu, 15 Sep 2022 15:28:56 +0100
Subject: [PATCH] Force reset branch to origin for Jenkins

---
 scripts/switchBranches.fish | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/scripts/switchBranches.fish b/scripts/switchBranches.fish
index 63856d864..f71590128 100755
--- a/scripts/switchBranches.fish
+++ b/scripts/switchBranches.fish
@@ -27,8 +27,7 @@ function checkoutRepo
     else
       git remote update origin
       git fetch --force --all
-      git pull
-      git reset --hard "$branch"
+      git reset --hard origin/"$branch"
     end
     and git clean -fdx
   else