mirror of
https://github.com/pybind/pybind11.git
synced 2024-11-22 05:05:11 +00:00
ci: original labeler
This commit is contained in:
parent
1914b7d3a7
commit
2f746eeeb4
6
.github/labeler.yml
vendored
6
.github/labeler.yml
vendored
@ -1,9 +1,3 @@
|
||||
needs changelog:
|
||||
- all:
|
||||
- '!docs/changelog.rst'
|
||||
any:
|
||||
- '(include|pybind11|tools)/**/*'
|
||||
|
||||
docs:
|
||||
- any:
|
||||
- 'docs/**/*.rst'
|
||||
|
3
.github/labeler_merged.yml
vendored
Normal file
3
.github/labeler_merged.yml
vendored
Normal file
@ -0,0 +1,3 @@
|
||||
needs changelog:
|
||||
- all:
|
||||
- '!docs/changelog.rst'
|
9
.github/workflows/labeler.yml
vendored
9
.github/workflows/labeler.yml
vendored
@ -3,11 +3,16 @@ on:
|
||||
pull_request_target:
|
||||
|
||||
jobs:
|
||||
label-merged:
|
||||
name: Changelog needed
|
||||
label:
|
||||
name: Labeler
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- uses: actions/labeler@main
|
||||
with:
|
||||
repo-token: ${{ secrets.GITHUB_TOKEN }}
|
||||
sync-labels: true
|
||||
- uses: actions/labeler@main
|
||||
if: "!(github.event.action == 'closed' && github.event.pull_request.merged == false)"
|
||||
with:
|
||||
repo-token: ${{ secrets.GITHUB_TOKEN }}
|
||||
configuration-path: .github/labeler_merged.yml
|
||||
|
Loading…
Reference in New Issue
Block a user