Can below two steps be merged into one? Because these steps have some relationship, i.e., the commit of "v0.14.dev0" must be the next commit of branch v0.13.0, in addition these two steps can be done quickly as long as the contributor has enough permission.
> 1 July 2023 - a branch v0.13.0 to be created from main 3 July 2023 - a tag v0.14.dev0 to be created, marking the beginning of the next development cycle In addition, there need add another step for modifying the version recorded in main branch code to "v0.14.dev0", because this step need to send a PR and need run all tests, so it maybe need 1~2 days to be merged. -- Reply to this email directly or view it on GitHub: https://github.com/apache/tvm/issues/15134#issuecomment-1607154667 You are receiving this because you are subscribed to this thread. Message ID: <apache/tvm/issues/15134/1607154...@github.com>
