[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