diff options
| author | David Spickett <david.spickett@linaro.org> | 2023-12-05 11:28:43 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-05 11:28:43 +0000 |
| commit | 77249546aa5114b36734123fe5bb65310e516aea (patch) | |
| tree | ff497106de8e3865e6e9558d328bbc2b70429b6b /llvm/lib/Transforms/Utils/Local.cpp | |
| parent | b21175258b9a9a930acddef8ebc911e39095a436 (diff) | |
| download | llvm-77249546aa5114b36734123fe5bb65310e516aea.zip llvm-77249546aa5114b36734123fe5bb65310e516aea.tar.gz llvm-77249546aa5114b36734123fe5bb65310e516aea.tar.bz2 | |
[GitHub] Add greeting comment to opened PRs from new contributors (#72384)
This includes some commonly needed information like how to add
reviewers.
This is implemented as a job before the labeler, so that on a new PR the
comment is added before there are any subscribers and only the author
gets a nofitication.
The labeler job depends on the greeter having run or having been
skipped. So if the PR wasn't just opened, or it's from a regular
contributor, the labeling still happens.
But we can be sure that when a greeting comment is left, it's the very
first thing we do.
Diffstat (limited to 'llvm/lib/Transforms/Utils/Local.cpp')
0 files changed, 0 insertions, 0 deletions