From 5287e239a38a159ba0cd355c4152a8129cd9ef17 Mon Sep 17 00:00:00 2001
From: Ruben Abad <rabad@cvc.uab.es>
Date: Tue, 4 Jun 2024 15:41:49 +0200
Subject: [PATCH] reverting credentials

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

diff --git a/Jenkinsfile b/Jenkinsfile
index fb0a2d5e5..b3fd05fef 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -311,7 +311,7 @@ pipeline
                                                 dir('doc_repo')
                                                 {
                                                     unstash name: 'carla_docs'
-                                                    withCredentials([gitUsernamePassword(credentialsId: 'carla_test_1', gitToolName: 'git-tool')]) {
+                                                    withCredentials([gitUsernamePassword(credentialsId: 'github_token_as_pwd_2', gitToolName: 'git-tool')]) {
                                                         sh '''
                                                             tar -xvzf carla_doc.tar.gz
                                                             git add Doxygen