diff --git a/Jenkinsfile b/Jenkinsfile index 97359f02750b..abe17fac3271 100755 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -45,7 +45,7 @@ // 'python3 jenkins/generate.py' // Note: This timestamp is here to ensure that updates to the Jenkinsfile are // always rebased on main before merging: -// Generated at 2022-04-13T15:32:37.844476 +// Generated at 2022-04-14T17:16:16.585491 import org.jenkinsci.plugins.pipeline.modeldefinition.Utils // NOTE: these lines are scanned by docker/dev_common.sh. Please update the regex as needed. --> @@ -121,7 +121,7 @@ def init_git() { ).trim() } sh ( - script: "git merge ${upstream_revision}", + script: "git -c user.name=TVM-Jenkins -c user.email=jenkins@tvm.apache.org merge ${upstream_revision}", label: 'Merge to origin/main' ) diff --git a/jenkins/Jenkinsfile.j2 b/jenkins/Jenkinsfile.j2 index 1638a6201bf3..62a1487f7afc 100644 --- a/jenkins/Jenkinsfile.j2 +++ b/jenkins/Jenkinsfile.j2 @@ -118,7 +118,7 @@ def init_git() { ).trim() } sh ( - script: "git merge ${upstream_revision}", + script: "git -c user.name=TVM-Jenkins -c user.email=jenkins@tvm.apache.org merge ${upstream_revision}", label: 'Merge to origin/main' )