From 7839ef4e4aadf0de0061bfba0c6009bf86ed2f04 Mon Sep 17 00:00:00 2001
From: Ruben Abad <rabad@cvc.uab.es>
Date: Mon, 29 Jan 2024 23:18:43 +0100
Subject: [PATCH] fix docu repo checkout pointing to branch head

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index bb6653e2f..641bead98 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -203,7 +203,7 @@ pipeline
                             when { branch "ruben/jenkins_migration"; }
                             steps
                             {
-                                checkout scmGit(branches: [[name: '*/ruben/jenkins_migration']], extensions: [checkoutOption(120), cloneOption(noTags:false, reference:'', shallow: false, timeout:120)], userRemoteConfigs: [[credentialsId: 'github_token_as_pwd_2', url: 'https://github.com/carla-simulator/carla-simulator.github.io.git']])
+                                checkout scmGit(branches: [[name: '*/ruben/jenkins_migration']], extensions: [checkoutOption(120), [[$class: 'LocalBranch', localBranch: "**"]], cloneOption(noTags:false, reference:'', shallow: false, timeout:120)], userRemoteConfigs: [[credentialsId: 'github_token_as_pwd_2', url: 'https://github.com/carla-simulator/carla-simulator.github.io.git']])
                                 unstash name: 'carla_docs'
                                 withCredentials([gitUsernamePassword(credentialsId: 'github_token_as_pwd_2', gitToolName: 'git-tool')]) {
                                     sh '''