From 10db3068f7c6185b6d197b9d0d10691a36ba328b Mon Sep 17 00:00:00 2001
From: Adam Valenta <adam.valenta@h2o.ai>
Date: Wed, 26 Feb 2025 18:44:52 +0100
Subject: [PATCH] Fetch after setting new remote (#16578)

---
 scripts/jenkins/jenkinsfiles/Jenkinsfile-Release | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/jenkins/jenkinsfiles/Jenkinsfile-Release b/scripts/jenkins/jenkinsfiles/Jenkinsfile-Release
index bf041f8b7a6a..ca297dfc7b04 100644
--- a/scripts/jenkins/jenkinsfiles/Jenkinsfile-Release
+++ b/scripts/jenkins/jenkinsfiles/Jenkinsfile-Release
@@ -176,6 +176,7 @@ try {
                                     git config --global user.email "${GH_EMAIL}"
                                     cd ${env.BUILD_NUMBER_DIR}
                                     git remote set-url origin https://${GH_TOKEN}@github.com/h2oai/h2o-3.git
+                                    git fetch
                                 """
                             }
                             sh """