Fetch after setting new remote (#16578)

(cherry picked from commit 10db306)
h2oai · Feb 26, 2025 · df06fe5 · df06fe5
1 parent 823752d
commit df06fe5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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 """