[llvm] [GitHub] Add Greeting comment to new contributor's PRs with useful information (PR #72249)
David Spickett via llvm-commits
llvm-commits at lists.llvm.org
Tue Nov 14 08:16:44 PST 2023
================
@@ -0,0 +1,27 @@
+name: PR Greeter
+
+on:
+ pull_request_target:
+ types: [ opened ]
+
+permissions:
+ pull-requests: write
----------------
DavidSpickett wrote:
Done.
https://github.com/llvm/llvm-project/pull/72249
More information about the llvm-commits
mailing list