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
This commit is contained in:
Linus Groh 2023-01-06 19:11:41 +01:00
parent fb3e890bd9
commit cbad79fa86

View file

@ -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})