reverting credentials

2024-06-04 15:41:49 +02:00 · 2024-06-04 15:41:49 +02:00 · 5287e239a3
parent 4fa9d42302
commit 5287e239a3
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -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