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