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 "[email protected]"
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: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]
