You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@tvm.apache.org by GitBox <gi...@apache.org> on 2022/04/14 00:21:34 UTC

[GitHub] [tvm] areusch opened a new pull request, #11007: Fix broken CI when git-merge needs to create a commit.

areusch opened a new pull request, #11007:
URL: https://github.com/apache/tvm/pull/11007

    - This fixes an error seen when CI needs to create a merge commit
      to sync the PR. CI started doing this recently to ensure that all
      CI branches use the same commit for their regressions.
    - The error looks like:
   
           + git merge e370ed459739f5312e45a2fb3a446b120f8ec5d1
   
           *** Please tell me who you are.
   
           Run
   
             git config --global user.email "you@example.com"
             git config --global user.name "Your Name"
   
           to set your account's default identity.
           Omit --global to set the identity only in this repository.
   
   cc @tqchen @driazati @Mousius 


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org

[GitHub] [tvm] gromero commented on pull request #11007: [skip ci] Fix broken CI when git-merge needs to create a commit.

Posted by GitBox <gi...@apache.org>.
gromero commented on PR #11007:
URL: https://github.com/apache/tvm/pull/11007#issuecomment-1099609325

   @areusch Thanks for fixing it! I tried to investigate it yesterday but I was not able to reproduce locally (not it's clear why)!


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org

[GitHub] [tvm] areusch commented on pull request #11007: Fix broken CI when git-merge needs to create a commit.

Posted by GitBox <gi...@apache.org>.
areusch commented on PR #11007:
URL: https://github.com/apache/tvm/pull/11007#issuecomment-1098594825

   Pushed this fix on top of the PR causing the problem, it seems to work: https://ci.tlcpack.ai/blue/organizations/jenkins/tvm/detail/areusch-test-jenkinsfile-merge-fix/3/pipeline/


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org

[GitHub] [tvm] areusch commented on pull request #11007: Fix broken CI when git-merge needs to create a commit.

Posted by GitBox <gi...@apache.org>.
areusch commented on PR #11007:
URL: https://github.com/apache/tvm/pull/11007#issuecomment-1099429062

   going to [skip ci] based on branch passing


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org

[GitHub] [tvm] areusch merged pull request #11007: [skip ci] Fix broken CI when git-merge needs to create a commit.

Posted by GitBox <gi...@apache.org>.
areusch merged PR #11007:
URL: https://github.com/apache/tvm/pull/11007


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org