Stop removing manually-added labels on Github PRs

Setting sync-labels to "true" means that it removes labels which people
have added, but which aren't implied by the filelist.
This commit is contained in:
Steve Cotton 2023-04-15 11:29:00 +02:00 committed by Steve Cotton
parent d67ab41a39
commit bb28f54e52

View file

@ -9,4 +9,4 @@ jobs:
- uses: actions/labeler@main
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"
sync-labels: "true"
sync-labels: "false"