1
0
mirror of https://github.com/TeamNewPipe/NewPipe/ synced 2025-02-02 11:56:48 +01:00
Tobi fe7d1692c3 Fix PR labeler permissions
Although the permission to modify PRs is granted to the entire workflow, the job still reports that it does not the permission to do so:
GITHUB_TOKEN Permissions
  Contents: read
  Metadata: read
  PullRequests: read
This adds the permission to the job directly
2023-09-27 10:06:34 +02:00
..
2023-04-26 16:01:20 +02:00
2023-09-27 10:06:34 +02:00