mirror of
https://github.com/pybind/pybind11.git
synced 2024-11-22 21:25:13 +00:00
ci: label PRs with changelog needed (#2546)
This commit is contained in:
parent
9796fe98fc
commit
5f9b16672f
2
.github/labeler_merged.yml
vendored
Normal file
2
.github/labeler_merged.yml
vendored
Normal file
@ -0,0 +1,2 @@
|
|||||||
|
needs changelog:
|
||||||
|
- all: ['!docs/changelog.rst']
|
15
.github/workflows/pr_merged.yml
vendored
Normal file
15
.github/workflows/pr_merged.yml
vendored
Normal file
@ -0,0 +1,15 @@
|
|||||||
|
name: PR merged
|
||||||
|
on:
|
||||||
|
pull_request:
|
||||||
|
- closed
|
||||||
|
|
||||||
|
jobs:
|
||||||
|
label-merged:
|
||||||
|
name: Changelog needed
|
||||||
|
runs-on: ubuntu-latest
|
||||||
|
if: github.event.pull_request.merged == true
|
||||||
|
steps:
|
||||||
|
- uses: actions/labeler@main
|
||||||
|
with:
|
||||||
|
repo-token: ${{ secrets.GITHUB_TOKEN }}
|
||||||
|
configuration-path: .github/labeler_merged.yml
|
Loading…
Reference in New Issue
Block a user