Commit Graph

5 Commits

Author SHA1 Message Date
Tobi b50e3c07d2 Use PR labeler fork
This updates some libs
2023-10-02 02:15:25 +02: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
Tobi db4619f5a4
Add content: read permission to PR size labeler workflow 2023-09-26 10:40:17 +02:00
Tobi 609f0a2eee
Add write permission to PR labeler workflow 2023-09-24 20:24:57 +02:00
TobiGr d622993483
Add workflow "PR size labeler" to label PRs based on the number of changed lines
This should help reviewers to determine which PRs to review.
2023-09-24 09:33:44 +02:00