From 988effa6725a929ed588890b3b4f3925b8fcb42e Mon Sep 17 00:00:00 2001 From: Andrea Cavalli Date: Fri, 30 Oct 2020 11:57:57 +0100 Subject: [PATCH] Update Jenkinsfile --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 56f85ba..4dd00ac 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -101,8 +101,8 @@ pipeline { cd tdlight/target-release/apidocs; \ git init; \ git remote add origin https://git.ignuranza.net/tdlight-team/tdlight-docs; \ - git config user.email \"jenkins@mchv.eu\" \ - git config user.name \"Jenkins\" \ + git config user.email \"jenkins@mchv.eu\"; \ + git config user.name \"Jenkins\"; \ git add -A; \ git commit -m \"Update javadocs\"; \ git push --set-upstream origin master --force; \