From 97612703b74dd87e93a15675b72d9f58963b2a44 Mon Sep 17 00:00:00 2001 From: cclecle Date: Sun, 19 Mar 2023 19:26:04 +0000 Subject: [PATCH] fix git username/address in jenkinsfile --- Jenkinsfile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index bc474e1..349b0bb 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -132,7 +132,9 @@ pipeline { sh(". ~/TOOLS_ENV/bin/activate && pip install simple_rest_client requests") sh(". ~/TOOLS_ENV/bin/activate && pip install git+https://chacha.ddns.net/gitea/chacha/pygitversionhelper.git@master") - + + sh("git config --global user.email $_MaintainerEmail") + sh("git config --global user.name $_MaintainerName") } } @@ -219,8 +221,6 @@ pipeline { // => little hacky... creating a new git repo with a commit/tag corresponding to HEAD of the official one if(_PROJECT_NAME=="pyChaChaDummyProject") //specific case to test the template itself { - sh("git config --global user.email $_MaintainerEmail") - sh("git config --global user.name $_MaintainerName") sh("rm -Rf ~/_gitrepo || true") -- 2.47.3