There may be a better solution: we make a PR with 2 commits (one is Modify
version to v0.14.0 on main branch, the other is Modify version to v0.14.dev0 on
main branch), and **merge without squash. And do branch cut on first commit.**
--
Reply to this email directly or view it on GitHub:
https:/
Here, let me explan why do first version modification to v0.14.0 on main branch.
Considering downstream companies need regularly do code merge with release
code, each time version modification is after cut branch. In other words, each
version modification commit is not on git main tree (and afte
