From cf31c22e5d8228b6f37f55439baded2a3f0f2f43 Mon Sep 17 00:00:00 2001
From: jack1142 <6032823+jack1142@users.noreply.github.com>
Date: Sat, 28 Mar 2020 23:06:41 +0100
Subject: [PATCH] Revert "Add changelog label to merged PRs (#3664)" (#3702)

This reverts commit 3d7ff7a149064bae03a1180ead9739d19d24816c.
---
 .github/workflows/add_changelog_label.yaml | 26 ----------------------
 1 file changed, 26 deletions(-)
 delete mode 100644 .github/workflows/add_changelog_label.yaml

diff --git a/.github/workflows/add_changelog_label.yaml b/.github/workflows/add_changelog_label.yaml
deleted file mode 100644
index 95df8b34d..000000000
--- a/.github/workflows/add_changelog_label.yaml
+++ /dev/null
@@ -1,26 +0,0 @@
-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']
-            });