pybind11/.github/workflows/pr_merged.yml

name: PR merged
on:
  pull_request_target:
    types: [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
ci: label PRs with changelog needed (#2546) 2020-10-02 20:56:19 +00:00			`name: PR merged`
			`on:`
ci: fix labeler 2020-10-02 21:09:58 +00:00			`pull_request_target:`
Update pr_merged.yml 2020-10-02 20:59:04 +00:00			`types: [closed]`
ci: label PRs with changelog needed (#2546) 2020-10-02 20:56:19 +00:00
			`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`