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: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
