Fetch after setting new remote (#16578)

h2oai · Feb 26, 2025 · 10db306 · 10db306
1 parent 34e336f
commit 10db306
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 """