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/06/22 21:46:20 UTC
[GitHub] [tvm] driazati opened a new issue, #11837: [ci] Docs comment bot should update comments in-place
driazati opened a new issue, #11837:
URL: https://github.com/apache/tvm/issues/11837
Posting a new comment generates a notification which I don't think we want beyond the first one from `github-actions` since it doesn't carry much signal. The [docs-bot](https://github.com/apache/tvm/actions/workflows/docs_bot.yml) workflow should search the PR for existing comments from the `github-actions` bot (possibly marked with a markdown comment or something like `<!--- docs-bot-comment -->`) and update that comment instead of posting a new one.
For example, on #11666, the bot would update [comment 1](https://github.com/apache/tvm/pull/11666#issuecomment-1158008805) instead of posting [comment 2](https://github.com/apache/tvm/pull/11666#issuecomment-1163627875)
cc @gigiblender
--
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] gigiblender commented on issue #11837: [ci] Docs comment bot should update comments in-place
Posted by GitBox <gi...@apache.org>.
gigiblender commented on issue #11837:
URL: https://github.com/apache/tvm/issues/11837#issuecomment-1167343080
#11909
--
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
[GitHub] [tvm] gigiblender commented on issue #11837: [ci] Docs comment bot should update comments in-place
Posted by GitBox <gi...@apache.org>.
gigiblender commented on issue #11837:
URL: https://github.com/apache/tvm/issues/11837#issuecomment-1164320000
@driazati I agree with you. I can take a look at this issue.
--
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
[GitHub] [tvm] driazati closed issue #11837: [ci] Docs comment bot should update comments in-place
Posted by GitBox <gi...@apache.org>.
driazati closed issue #11837: [ci] Docs comment bot should update comments in-place
URL: https://github.com/apache/tvm/issues/11837
--
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