[all-commits] [llvm/llvm-project] 772495: [GitHub] Add greeting comment to opened PRs from n...

[David Spickett via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 77249546aa5114b36734123fe5bb65310e516aea
      https://github.com/llvm/llvm-project/commit/77249546aa5114b36734123fe5bb65310e516aea
  Author: David Spickett <david.spickett at linaro.org>
  Date:   2023-12-05 (Tue, 05 Dec 2023)

  Changed paths:
    M .github/workflows/new-prs.yml
    M llvm/utils/git/github-automation.py

  Log Message:
  -----------
  [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.