You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@tvm.apache.org by "ysh329 (via GitHub)" <gi...@apache.org> on 2023/07/08 15:26:47 UTC
[GitHub] [tvm] ysh329 opened a new pull request, #15267: [release] Disable git merge to avoid conflict
ysh329 opened a new pull request, #15267:
URL: https://github.com/apache/tvm/pull/15267
Disable git merge to avoid conflict on v0.13.0
--
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] tqchen merged pull request #15267: [release] Disable git merge to avoid conflict
Posted by "tqchen (via GitHub)" <gi...@apache.org>.
tqchen merged PR #15267:
URL: https://github.com/apache/tvm/pull/15267
--
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] tqchen commented on pull request #15267: [release] Disable git merge to avoid conflict
Posted by "tqchen (via GitHub)" <gi...@apache.org>.
tqchen commented on PR #15267:
URL: https://github.com/apache/tvm/pull/15267#issuecomment-1627397049
@ysh329 can you send to the rc-v0.13.0 branch, that way we can directly merge
--
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] junrushao commented on pull request #15267: [release] Disable git merge to avoid conflict
Posted by "junrushao (via GitHub)" <gi...@apache.org>.
junrushao commented on PR #15267:
URL: https://github.com/apache/tvm/pull/15267#issuecomment-1627473770
Let's fix the lint and get it merged
--
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] tvm-bot commented on pull request #15267: [release] Disable git merge to avoid conflict
Posted by "tvm-bot (via GitHub)" <gi...@apache.org>.
tvm-bot commented on PR #15267:
URL: https://github.com/apache/tvm/pull/15267#issuecomment-1627379140
<!---bot-comment-->
Thanks for contributing to TVM! Please refer to the contributing guidelines https://tvm.apache.org/docs/contribute/ for useful information and tips. Please request code reviews from [Reviewers](https://github.com/apache/incubator-tvm/blob/master/CONTRIBUTORS.md#reviewers) by @-ing them in a comment.
<!--bot-comment-ccs-start-->
* No users to tag found in teams: `release` <sub>See [#10317](https://github.com/apache/tvm/issues/10317) for details</sub><!--bot-comment-ccs-end-->
<sub>Generated by [tvm-bot](https://github.com/apache/tvm/blob/main/ci/README.md#github-actions)</sub>
--
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