You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@tvm.apache.org by ar...@apache.org on 2022/04/14 00:12:59 UTC
[tvm] branch areusch-test-jenkinsfile-merge-fix created (now a5a6deaae0)
This is an automated email from the ASF dual-hosted git repository.
areusch pushed a change to branch areusch-test-jenkinsfile-merge-fix
in repository https://gitbox.apache.org/repos/asf/tvm.git
at a5a6deaae0 try to fix merging
This branch includes the following new commits:
new a5a6deaae0 try to fix merging
The 1 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "add" were already present in the repository and have only
been added to this reference.
[tvm] 01/01: try to fix merging
Posted by ar...@apache.org.
This is an automated email from the ASF dual-hosted git repository.
areusch pushed a commit to branch areusch-test-jenkinsfile-merge-fix
in repository https://gitbox.apache.org/repos/asf/tvm.git
commit a5a6deaae0ca4b3a198bf0e8a6aa84c733f15a71
Author: Andrew Reusch <ar...@gmail.com>
AuthorDate: Wed Apr 13 17:12:29 2022 -0700
try to fix merging
---
Jenkinsfile | 4 ++--
jenkins/Jenkinsfile.j2 | 2 +-
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index 29d19092a8..8a6fcc53c7 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-13T17:46:58.845847
+// Generated at 2022-04-14T00:12:14.966056
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 merge -C user.name=TVM-Jenkins -C jenkins@tvm.apache.org ${upstream_revision}",
label: 'Merge to origin/main'
)
diff --git a/jenkins/Jenkinsfile.j2 b/jenkins/Jenkinsfile.j2
index 522a460c2d..09a9128aca 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 merge -C user.name=TVM-Jenkins -C jenkins@tvm.apache.org ${upstream_revision}",
label: 'Merge to origin/main'
)