areusch commented on pull request #7333: URL: https://github.com/apache/tvm/pull/7333#issuecomment-777030634
@gromero yes, I think that's roughly what GH does when someone hits merge. the review comments do stick around, but the context is usually obliterated, which is usually pretty crucial to understanding what they meant. maybe see if the old sha is still available after a few hours--GH may do a cleanup task internally ---------------------------------------------------------------- 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. For queries about this service, please contact Infrastructure at: [email protected]
