Label community PRs as 'community' instead of 'external-contrib'

uyuni-project · Aug 16, 2023 · 205fd6c · 205fd6c
1 parent 33306e6
commit 205fd6c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/external_pr_labeler.yml b/.github/workflows/external_pr_labeler.yml
@@ -26,6 +26,6 @@ jobs:
         if: ${{ steps.is_member.outputs.result == 404 }}
         uses: christianvuerings/add-labels@v1
         with:
-          labels: "external-contrib"
+          labels: "community"
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}