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 2022/05/24 19:13:29 UTC

[GitHub] [tvm] driazati opened a new issue, #11433: mergebot commit message tracking

driazati opened a new issue, #11433:
URL: https://github.com/apache/tvm/issues/11433

   - [ ] remove cc lines and @ messages so people don't get tagged in commits
   - [ ] add source PR number to commit subject


-- 
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.apache.org

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

[GitHub] [tvm] areusch closed issue #11433: mergebot commit message tracking

Posted by GitBox <gi...@apache.org>.

areusch closed issue #11433: mergebot commit message tracking
URL: https://github.com/apache/tvm/issues/11433


-- 
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