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 ``` -- Reply to this email directly or view it on GitHub: https://github.com/apache/tvm/issues/13586#issuecomment-1397462189 You are receiving this because you are subscribed to this thread. Message ID: <apache/tvm/issues/13586/1397462...@github.com>
