From e2574609f91f79875bd9152631d6faa077f5d44e Mon Sep 17 00:00:00 2001
From: Ruben Abad <rabad@cvc.uab.es>
Date: Wed, 5 Jun 2024 12:29:36 +0200
Subject: [PATCH] doucmentation is pulled/pushed to "dev" branch

---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index b3fd05fef..2eb130419 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -132,7 +132,7 @@ pipeline
                                                 dir('doc_repo')
                                                 {
                                                     checkout scmGit(
-                                                        branches: [[name: '*/master']], 
+                                                        branches: [[name: '*/dev']], 
                                                         extensions: [
                                                             cleanBeforeCheckout(),
                                                             checkoutOption(120), 
@@ -316,7 +316,7 @@ pipeline
                                                             tar -xvzf carla_doc.tar.gz
                                                             git add Doxygen
                                                             git commit -m "Updated c++ docs" || true
-                                                            git push --set-upstream origin master
+                                                            git push --set-upstream origin dev
                                                         '''
                                                     }
                                                 }