vinx13 commented on pull request #9235: URL: https://github.com/apache/tvm/pull/9235#issuecomment-946984950
You can force push to current branch, so that you don't need to create new PR. Usually you will use `git pull --rebase` -- 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]
