Merge pull request #12885 from cgcgcg/mentionROL

Github Action: Automatically mention ROL team on ROL issues
trilinos · Apr 5, 2024 · 864738b · 864738b
2 parents 6a0874f + c153f2b
commit 864738b
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/title_to_mention.yml b/.github/workflows/title_to_mention.yml
@@ -31,3 +31,10 @@ jobs:
         issue-number: ${{ github.event.issue.number }}  
         body: |
           Automatic mention of the @trilinos/ifpack2 team
+    - name: Mention ROL
+      uses: peter-evans/create-or-update-comment@71345be0265236311c031f5c7866368bd1eff043 # v4.0.0
+      if: (contains(github.event.action, 'labeled') && contains(github.event.label.name, 'ROL')) || (contains(github.event.action, 'opened') && contains(github.event.issue.title, 'ROL'))
+      with:
+        issue-number: ${{ github.event.issue.number }}
+        body: |
+          Automatic mention of @aj463