[llvm] github-automation: Use a single comment for team mentions on pull requests (PR #66037)
Tom Stellard via llvm-commits
llvm-commits at lists.llvm.org
Tue Sep 12 10:28:53 PDT 2023
tstellar wrote:
> Could we replace `@` in the description by something else so that people don't get extra mentions? all the bugzilla bugs have a CC fields that ping everyone in the issue, putting that in the description is noisy for some folks
This is the only way that I know of to subscribe someone to a pull request. However, I've tested this out and people only get notifications for the first edit that mentions a team they are on. So if you have already been mentioned and another team gets mentioned, you won't see a notification for that.
https://github.com/llvm/llvm-project/pull/66037
More information about the llvm-commits
mailing list