From a4f6a9964ceec3d222a8caa8eb3e5cf6027cfbab Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marc=20Cornell=C3=A0?= <marc.cornella@live.com>
Date: Tue, 3 Sep 2019 21:19:38 +0200
Subject: [PATCH] meta: remove PR triage GitHub action :cry:

We do this because the GitHub Actions behavior was changed recently
so as to not pass secrets to action runs started from forks, therefore
the API token passed cannot be used to change PR labels.

There may be an alternative in the future.
---
 .github/workflows/pull_request_triage.yml | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 .github/workflows/pull_request_triage.yml

diff --git a/.github/workflows/pull_request_triage.yml b/.github/workflows/pull_request_triage.yml
deleted file mode 100644
index 77ec4ce79..000000000
--- a/.github/workflows/pull_request_triage.yml
+++ /dev/null
@@ -1,15 +0,0 @@
-on: pull_request
-name: Triage Pull Request
-jobs:
-  triage:
-    name: Triage
-    runs-on: ubuntu-latest
-    steps:
-    - name: Checkout
-      uses: actions/checkout@master
-      if: github.event.action == 'opened' || github.event.action == 'synchronize'
-    - name: Analyze and triage
-      uses: ohmyzsh/github-actions/pull-request-triage@master
-      env:
-        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-        DEBUG_ACTIONS: ${{ secrets.DEBUG_ACTIONS }}