1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-28 23:29:45 +01:00

Merge pull request #20137 from MrKevinWeiss/pr/fixlabler

Fix labeler action
This commit is contained in:
Kaspar Schleiser 2023-12-04 20:46:19 +01:00 committed by GitHub
commit 848f3d1ade
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -10,7 +10,7 @@ jobs:
runs-on: ubuntu-latest
if: github.event_name != 'merge_group'
steps:
- uses: actions/labeler@main
- uses: actions/labeler@v4
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"
sync-labels: true