Daan De Meyer be2d9a8a1c Remove new good-to-merge from merged/closed prs as well ...

The previous commit only modified the place where we decide
whether to set please-review or not. Let's also remove it from
closed and merged PRs.

2026-10-02 14:57:17 +02:00

..

ISSUE_TEMPLATE

github: update placeholders in template

2026-07-26 20:42:28 +09:00

linters

…

workflows

Remove new good-to-merge from merged/closed prs as well

2026-10-02 14:57:17 +02:00

advanced-issue-labeler.yml

various: mark files with the usual license tags

2026-08-28 06:26:09 +09:00

dependabot.yml

dependabot: Ignore mkosi

2026-05-19 16:36:39 +02:00

development-freeze.yml

various: mark files with the usual license tags

2026-08-28 06:26:09 +09:00

FUNDING.yml

…

labeler.json

ci: replace actions/labeler with an in-tree implementation

2026-09-26 16:57:48 +02:00