5 commits

Author	SHA1	Message	Date
Folke Lemaitre	7ed5a6c371	ci: remove custom pr-numbers again	2024-06-05 15:20:32 +02:00
Folke Lemaitre	71165ac52a	ci: label more PRs	2024-06-05 15:19:04 +02:00
Folke Lemaitre	39c10b2b81	ci: remove custom pr-numbers	2024-06-05 15:16:39 +02:00
Folke Lemaitre	b764947061	ci: run labeler on existing PRs	2024-06-05 15:08:20 +02:00
Folke Lemaitre	75dcce02dc	ci: added PR labeler	2024-06-05 15:03:08 +02:00