From 3d7ff7a149064bae03a1180ead9739d19d24816c Mon Sep 17 00:00:00 2001
From: jack1142 <6032823+jack1142@users.noreply.github.com>
Date: Thu, 26 Mar 2020 13:56:10 +0100
Subject: [PATCH] Add changelog label to merged PRs (#3664)

---
 .github/workflows/add_changelog_label.yaml | 26 ++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 .github/workflows/add_changelog_label.yaml

diff --git a/.github/workflows/add_changelog_label.yaml b/.github/workflows/add_changelog_label.yaml
new file mode 100644
index 000000000..95df8b34d
--- /dev/null
+++ b/.github/workflows/add_changelog_label.yaml
@@ -0,0 +1,26 @@
+name: Add changelog label to merged PR
+on:
+  pull_request:
+    types: [closed]
+
+jobs:
+  build:
+    if: github.event.pull_request.merged
+    runs-on: ubuntu-latest
+    steps:
+      - name: Apply label
+        uses: actions/github-script@0.4.0
+        with:
+          github-token: ${{secrets.GITHUB_TOKEN}}
+          script: |
+            const is_changelog_label = (label) => label.name.startsWith('Changelog Entry: ');
+            if (context.payload.pull_request.labels.some(is_changelog_label)) {
+                console.log('Issue already has Changelog Entry label, skipping...');
+                return;
+            }
+            github.issues.addLabels({
+              issue_number: context.issue.number,
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              labels: ['Changelog Entry: Pending']
+            });