From 0cdd46d58177b4310bdd79aeb22c90814ed1db82 Mon Sep 17 00:00:00 2001
From: Afonso Mukai <afonso.mukai@ess.eu>
Date: Thu, 23 Mar 2023 14:24:01 +0100
Subject: [PATCH] Fix credentials

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

diff --git a/Jenkinsfile b/Jenkinsfile
index e535d14bb..75114a0f1 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -113,7 +113,7 @@ builders = pipeline_builder.createBuilders { container ->
                 // Push any changes resulting from formatting
                 withCredentials([
                     gitUsernamePassword(
-                        credentialsId: 'dmsc-gitlab-username-with-token',
+                        credentialsId: 'cow-bot-username-with-token',
                         gitToolName: 'Default'
                     )
                 ]) {