Luke Wilde a6716e694d CI: Automatically apply pull request labels for generic PR actions ... Generic PR actions include opening a PR, submit review comments, adding new commits, etc. This prevents the reviewer and PR submitter from having to manually bounce the labels back and forth in the general case. The reviewer also may not have permission to set labels, meaning the reviewer won't be able to update the labels accordingly themselves. This does not handle more subjective labels such as pr-is-blocked and pr-unclear. Unfortunately, there does not seem to be a GitHub Actions trigger for when a PR has merge conflicts, so the pr-has-conflicts label cannot be automatically applied. Co-authored-by: kleines Filmröllchen <filmroellchen@serenityos.org>		2023-01-06 15:25:30 +01:00
..
workflows	CI: Automatically apply pull request labels for generic PR actions	2023-01-06 15:25:30 +01:00
CODEOWNERS	Meta: Mark myself a CODEOWNER of some paths to be alerted of related PRs	2023-01-03 19:51:49 +01:00
FUNDING.yml	Meta: Add networkException's GitHub sponsors to the funding options list	2022-10-06 15:45:12 +02:00
stale.yml	Meta: Instruct stale-bot to ignore pr-is-blocked PRs	2022-10-15 12:05:57 +02:00