romenskiy2012/curl
1
0
Fork 0
mirror of https://github.com/curl/curl.git synced 2026-06-01 23:04:15 +03:00
Code Issues Projects Releases Packages Wiki Activity

github/labeler: switch from the beta to labeler v5

Browse source 
Some keys were renamed and the dot option was made default.

Closes #12458
This commit is contained in:
Dan Fandrich 2023-12-05 13:17:09 -08:00
parent 04540f69cf
commit ce03fe3bae
2 changed files with 44 additions and 46 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -21,8 +21,6 @@ jobs:
pull-requests: write
steps:
- uses: actions/labeler@v5.0.0-beta.1
- uses: actions/labeler@v5
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"
# This is documented but doesn't work yet:
#dot: true