[llvm] [GitHub] Add Greeting comment to new PRs with useful information (PR #72249)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Tue Nov 14 05:11:06 PST 2023


nikic wrote:

I don't want this kind of comment posted on every single PR (our PR notifications are already very spammy as it is), but if were limited to `pull_request.author_association == FIRST_TIME_CONTRIBUTOR`, this may make sense.

https://github.com/llvm/llvm-project/pull/72249


More information about the llvm-commits mailing list