Merge pull request #8767 from NixOS/stop-removing-labels

labeler: Stop removing labels
This commit is contained in:
Eelco Dolstra 2023-08-02 16:51:47 +02:00 committed by GitHub
commit eea13d6ac5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

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