labeler: Stop removing labels

> 	Whether or not to remove labels when matching files are reverted or no longer changed by the PR

https://github.com/actions/labeler#inputs
This commit is contained in:
Robert Hensing 2023-07-31 22:51:06 +02:00 committed by GitHub
parent dcdd5fed74
commit b961541968
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

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