[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