ekalda commented on PR #15472: URL: https://github.com/apache/tvm/pull/15472#issuecomment-1674902879
Thanks for the explanation, makes sense to me :) What I was asking was to amend the *commit message body* as I don't think "There was a bug" is particularly informative in the commit history and doesn't really comply with the commit message guidelines. Some version of what you wrote in the explaining comment (without the stack trace) would do :) -- 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]
