Browse Source

Add PR prefix to label

jspijker 2 years ago
parent
commit
aadea69407
1 changed files with 1 additions and 1 deletions
  1. 1 1
      .github/workflows/process-pull-request.yml

+ 1 - 1
.github/workflows/process-pull-request.yml

@@ -12,4 +12,4 @@ jobs:
             -   uses: actions-ecosystem/action-add-labels@v1
                 if: ${{ github.repository_owner != 'Ultimaker' }}
                 with:
-                    labels: 'Community Contribution :crown:'
+                    labels: 'PR: Community Contribution :crown:'