[ci] Docs comment bot should update comments in-place #11837
Comments
|
@driazati I agree with you. I can take a look at this issue. |
driazati
pushed a commit
that referenced
this issue
Jun 29, 2022
This PR improves the docs bot to edit a previous comment instead of making new comments. Fixes #11837
blackkker
pushed a commit
to blackkker/tvm
that referenced
this issue
Jul 7, 2022
This PR improves the docs bot to edit a previous comment instead of making new comments. Fixes apache#11837
masahi
pushed a commit
to masahi/tvm
that referenced
this issue
Jul 15, 2022
This PR improves the docs bot to edit a previous comment instead of making new comments. Fixes apache#11837
mikeseven
pushed a commit
to mikeseven/tvm
that referenced
this issue
Sep 27, 2023
This PR improves the docs bot to edit a previous comment instead of making new comments. Fixes apache#11837
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Posting a new comment generates a notification which I don't think we want beyond the first one from
github-actionssince it doesn't carry much signal. The docs-bot workflow should search the PR for existing comments from thegithub-actionsbot (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 instead of posting comment 2
cc @Mousius @areusch @gigiblender
The text was updated successfully, but these errors were encountered: