From cbad79fa863d5574d16860a299c05433425f67e2 Mon Sep 17 00:00:00 2001
From: Linus Groh <mail@linusgroh.de>
Date: Fri, 6 Jan 2023 19:11:41 +0100
Subject: [PATCH] CI: Use default provided GITHUB_TOKEN for PR label workflow

Using BUGGIEBOT_TOKEN doesn't work in all cases for unknown reasons.

See also:
https://github.com/actions/github-script#using-a-separate-github-token
---
 .github/workflows/label-pull-requests.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/label-pull-requests.yml b/.github/workflows/label-pull-requests.yml
index c8f72a63dc..bc1c7f10b6 100644
--- a/.github/workflows/label-pull-requests.yml
+++ b/.github/workflows/label-pull-requests.yml
@@ -20,7 +20,6 @@ jobs:
       - name: Label pull request
         uses: actions/github-script@v6
         with:
-          github-token: ${{ secrets.BUGGIEBOT_TOKEN }}
           script: |
             const script = require('./Meta/label-pull-requests.js')
             script({github, context})