driazati commented on issue #13586: URL: https://github.com/apache/tvm/issues/13586#issuecomment-1397462189
The release branches are protected from force pushes / deletes by GitHub, but cherry-picking shouldn't require rewriting history right? Are you doing something like this? ```bash git fetch origin git checkout v0.11.0 git cherry-pick 0eabbac2160a8a630e1994969f664ccf6233fc7e git push origin ``` -- 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: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
