From d621be0565df10870a36a392977bb0652f5b059a Mon Sep 17 00:00:00 2001 From: Henry Schreiner Date: Wed, 28 Oct 2020 11:34:45 -0400 Subject: [PATCH] ci: label PRs when merged --- .github/labeler_merged.yml | 4 ++++ .github/workflows/pr_merged.yml | 15 +++++++++++++++ 2 files changed, 19 insertions(+) create mode 100644 .github/labeler_merged.yml create mode 100644 .github/workflows/pr_merged.yml diff --git a/.github/labeler_merged.yml b/.github/labeler_merged.yml new file mode 100644 index 00000000..434ab583 --- /dev/null +++ b/.github/labeler_merged.yml @@ -0,0 +1,4 @@ +needs changelog: + - all: ['!CHANGELOG.md'] +needs README: + - all: ['!README.md'] diff --git a/.github/workflows/pr_merged.yml b/.github/workflows/pr_merged.yml new file mode 100644 index 00000000..6fadc0fa --- /dev/null +++ b/.github/workflows/pr_merged.yml @@ -0,0 +1,15 @@ +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