You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@tvm.apache.org by GitBox <gi...@apache.org> on 2023/01/19 18:59:40 UTC

[GitHub] [tvm] driazati commented on issue #13586: [Release] v0.11.0 release schedule

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: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org