Change labels in workflows

Signed-off-by: Christian König <ckoenig@posteo.de>

.github/workflows/stale.yml

@@ -19,7 +19,7 @@ jobs:
           days-before-close: 5
           stale-issue-message: "This issue is stale because it has been open 30 days with no activity. Please comment or update this issue or it will be closed in 5 days."
           stale-issue-label: "stale"
-          exempt-issue-labels: "Bug, Bugfix in progress, Fixed in next release, Internal, Never stale"
+          exempt-issue-labels: "Bug, WIP, Fixed In Next Release, Internal, Never Stale"
           exempt-all-issue-assignees: true
           operations-per-run: 300
           close-issue-reason: "not_planned"

.github/workflows/stale_pr.yml

@@ -28,7 +28,7 @@ jobs:
           days-before-pr-close: 0
           # only run the action on merge conflict PR
           any-of-labels: 'Merge Conflict'
-          exempt-pr-labels: 'internal,Never stale,ON HOLD,WIP'
+          exempt-pr-labels: 'Internal,Never Stale,On Hold,WIP'
           exempt-all-pr-assignees: true
           operations-per-run: 300
           stale-pr-message: ''

.github/workflows/sync-back-to-dev.yml

@@ -13,6 +13,6 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v3.2.0
       - name: Opening pull request
-        run: gh pr create -B development -H master --title 'Sync master back into development' --body 'Created by Github action' --label 'internal'
+        run: gh pr create -B development -H master --title 'Sync master back into development' --body 'Created by Github action' --label 'Internal'
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}