tqchen commented on issue #13586:
URL: https://github.com/apache/tvm/issues/13586#issuecomment-1438898657
I just do git rebase to pick the commits onto top
```
git checkout [the-commit]
git rebase --onto [branch] HEAD~1
```
There might be other commands to cherry pick as we
tqchen commented on issue #13586:
URL: https://github.com/apache/tvm/issues/13586#issuecomment-1437294317
https://github.com/apache/tvm/pull/14057 is now merged with cherry pick.
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub
tqchen commented on issue #13586:
URL: https://github.com/apache/tvm/issues/13586#issuecomment-1437218791
Seems like we can still do cherrypick PR and merge that to v0.11.0 instead
of directly push. Happy to help on this and drive the release in case that is a
blocker
--
This is an autom