mirror/curl
2
0
Fork 0
mirror of https://github.com/curl/curl.git synced 2024-11-27 05:50:21 +08:00
Code Issues Packages Projects Releases Wiki Activity

github/labeler: remove workaround for labeler

Browse Source 
This was added due to what seemed to be a bug regarding the sync-labels:
config option, but it looks like it wasn't necessary.

Follow-up to b2b0534e7
This commit is contained in:
Dan Fandrich 2023-09-28 18:45:35 -07:00
parent ecdde58c14
commit 5c006df36c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/label.yml vendored
View File

@ -24,5 +24,5 @@ jobs:
- uses: actions/labeler@v5.0.0-beta.1
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"
sync-labels: false
dot: true
# This is documented but doesn't work yet:
#dot: true