mirror of https://github.com/pybind/pybind11.git
ci: merged labels still missing
This commit is contained in:
parent
01453b05c4
commit
526a7733c7
|
@ -18,3 +18,4 @@ jobs:
|
|||
with:
|
||||
repo-token: ${{ secrets.GITHUB_TOKEN }}
|
||||
configuration-path: .github/labeler_merged.yml
|
||||
sync-labels: true
|
||||
|
|
Loading…
Reference in New Issue