Use gitUsernamePassword in Jenkinsfile

ess-dmsc · Mar 23, 2023 · 5a4f6ef · 5a4f6ef
1 parent 8c5149b
commit 5a4f6ef
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -112,16 +112,15 @@ builders = pipeline_builder.createBuilders { container ->
 
                 // Push any changes resulting from formatting
                 withCredentials([
-                    usernamePassword(
-                        credentialsId: 'cow-bot-username-with-token',
-                        usernameVariable: 'USERNAME',
-                        passwordVariable: 'PASSWORD'
+                    gitUsernamePassword(
+                        credentialsId: 'dmsc-gitlab-username-with-token',
+                        gitToolName: 'Default'
                     )
                 ]) {
                     withEnv(["PROJECT=${pipeline_builder.project}"]) {
                         container.sh """
                         cd ${pipeline_builder.project}
-                        git push https://$USERNAME:$PASSWORD@github.com/ess-dmsc/${pipeline_builder.project}.git HEAD:$CHANGE_BRANCH
+                        git push https://github.com/ess-dmsc/${pipeline_builder.project}.git HEAD:$CHANGE_BRANCH
                         """
                      }  // withEnv
                 }  // withCredentials