ritter-x2a wrote: FYI, the [developer policy](https://llvm.org/docs/DeveloperPolicy.html#commit-messages) says: > Avoid ‘tagging’ someone’s username in your commits and PR descriptions (e.g., > `@<someUser>`), doing so results in that account receiving a notification > every time the commit is cherry-picked and/or pushed to a fork.
Currently, `@arsenm` is tagged in the description for this PR. Github might have fixed that issue by now, though. https://github.com/llvm/llvm-project/pull/190716 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
