Daan De Meyer 8fc78e6845 ci: Add/Drop labels on pull request activity and comment ...

When a pull request is opened/updated, add "please-review" and
remove a few other labels.

When a comment is made with /please-review on a PR. Add the
"please-review" label to the PR.

2022-12-09 04:50:13 +09:00

..

codeql-queries

boot: implement kernel EFI RNG seed protocol with proper hashing

2022-11-14 15:21:58 +01:00

ISSUE_TEMPLATE

issue-templates: Add note about updating labeling policy

2022-09-07 10:51:48 +02:00

workflows

ci: Add/Drop labels on pull request activity and comment

2022-12-09 04:50:13 +09:00

advanced-issue-labeler.yml

ci(issue-labeler): Update to advanced-issue-labeler@v2

2022-09-07 10:43:48 +02:00

codeql-config.yml

ci: drop LGTM stuff and move remaining bits into a new location

2022-09-13 21:32:15 +02:00

codeql-custom.qls

ci: enable a couple more possibly useful CodeQL queries

2022-09-14 22:09:19 +02:00

dependabot.yml

ci: update GHActions once a month

2022-01-29 19:26:14 +00:00

development-freeze.yml

ci(dev-freeze): Use GitHub Action for PR comments

2022-11-05 14:10:01 +01:00

FUNDING.yml

github: remove direct paypal link

2020-02-05 21:29:34 +09:00

labeler.yml

ci: use LGPLv2+ for all our ci configuration

2021-10-01 14:45:00 +02:00