In the previous practice, we didn't change tags into the release version on the main branch.
Pros: It will make the release branch a commit on the main branch, rather than diverging from the commit line Cons: There might be commits after v0.14 but before we change it to v0.15dev Happy to hear voices from the community -- Reply to this email directly or view it on GitHub: https://github.com/apache/tvm/pull/15847#issuecomment-1742001721 You are receiving this because you are subscribed to this thread. Message ID: <apache/tvm/pull/15847/c1742001...@github.com>
