From 554d6c4ca46044fbbb01a3fc10319ca07f29ae5a Mon Sep 17 00:00:00 2001
From: Nils Reichardt <me@nils.re>
Date: Sun, 12 Mar 2023 01:49:07 +0100
Subject: [PATCH] Remove `repo-token` attribute for labeler (#491)

`GITHUB.TOKEN` is now the default `repo-token`. Therefore, we don't need
to explicitly provide the `GITHUB.TOKEN`. See
https://github.com/actions/labeler/pull/227 for more information.
---
 .github/workflows/pull_request_label.yml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/pull_request_label.yml b/.github/workflows/pull_request_label.yml
index 576354bb5..ea24dcc21 100644
--- a/.github/workflows/pull_request_label.yml
+++ b/.github/workflows/pull_request_label.yml
@@ -35,10 +35,11 @@ jobs:
   # For more information, see: https://github.com/actions/labeler
   label:
     permissions:
+      # Required by the labeler action, see:
+      # https://github.com/actions/labeler#inputs
+      contents: read
       pull-requests: write
     runs-on: ubuntu-22.04
     timeout-minutes: 10
     steps:
       - uses: actions/labeler@59036c7b951d5b450848fd1b2b014c036cf91f46
-        with:
-          repo-token: "${{ secrets.GITHUB_TOKEN }}"