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/08/29 18:09:47 UTC

[GitHub] [tvm] driazati opened a new issue, #12637: [ci] Move auto-cc bot edits on PRs to a comment

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

   To enable the use of https://github.blog/changelog/2022-08-23-new-options-for-controlling-the-default-commit-message-when-merging-a-pull-request/ so we can have good defaults for commit messages, we need to ensure that PR descriptions don't contain @ tags of GitHub users. We can lint for this but the auto-cc bot edits PR descriptions to @ people on PRs, so we need to change this bot to leave a comment instead. Right now we have other bots that leave comments on PRs, this would be a good time to refactor them a bit and merge everything into 1 big bot comment. This could also contain helpful links for contributors and let us get rid of the [pr template](https://github.com/apache/tvm/blob/main/.github/PULL_REQUEST_TEMPLATE.md).
   
   To implement the lint check there are a few sequential PRs:
   - [ ] #12609
   - [ ] #12604
   - [ ] #12367
   
   Then to implement the unified bot comment on PRs:
   - [ ] make sure commenting jobs cancel previous jobs on the same PR to avoid races
   - [ ] merge commenting workflows (skipped tests, docs) into a single sequential workflow
   - [ ] #12612


-- 
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] driazati closed issue #12637: [ci] Move auto-cc bot edits on PRs to a comment

Posted by GitBox <gi...@apache.org>.
driazati closed issue #12637: [ci] Move auto-cc bot edits on PRs to a comment
URL: https://github.com/apache/tvm/issues/12637


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