Remove PR auto-labels when not relevant anymore

166b404ea706fe24af4dfa2c95622b72a10600d8

Wolfsblvt <wolfsblvt@gmail.com>

Parents: 25792b53f2ad5165e737ade2a3465b07d97bb205
1 files changed, +2 -0Showing whitespace changes
.github/workflows/pr-auto-manager.yml+2 -0
@@ -46,6 +46,7 @@ jobs:
46 uses: actions/labeler@v546 uses: actions/labeler@v5
47 with:47 with:
48 configuration-path: .github/pr-auto-labels-by-branch.yml48 configuration-path: .github/pr-auto-labels-by-branch.yml
49 sync-labels: true # Remove labels when they are not relevant anymore
49 repo-token: ${{ secrets.BOT_GITHUB_TOKEN || secrets.GITHUB_TOKEN }}50 repo-token: ${{ secrets.BOT_GITHUB_TOKEN || secrets.GITHUB_TOKEN }}
5051
51 label-by-files:52 label-by-files:
@@ -59,6 +60,7 @@ jobs:
59 uses: actions/labeler@v560 uses: actions/labeler@v5
60 with:61 with:
61 configuration-path: .github/pr-auto-labels-by-files.yml62 configuration-path: .github/pr-auto-labels-by-files.yml
63 sync-labels: true # Remove labels when they are not relevant anymore
62 repo-token: ${{ secrets.BOT_GITHUB_TOKEN || secrets.GITHUB_TOKEN }}64 repo-token: ${{ secrets.BOT_GITHUB_TOKEN || secrets.GITHUB_TOKEN }}
6365
64 remove-stale-label:66 remove-stale-label: