mirror/curl
2
0
Fork 0
mirror of https://github.com/curl/curl.git synced 2025-01-30 14:22:33 +08:00
Code Issues Packages Projects Releases Wiki Activity

CI: Work around a labeler bug that removes labels

Browse Source
This commit is contained in:
Dan Fandrich 2023-01-28 19:48:02 -08:00
parent cec47daa8c
commit ffe3e3c4e1
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -24,3 +24,5 @@ jobs:
- uses: actions/labeler@v4
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"
# Workaround for actions/labeler#112
sync-labels: ''