3 commits

Author	SHA1	Message	Date
Mary	fec8291c17	infra: do not assign developers team for now ... Hopefully fix PR triage for real...	2023-07-14 11:32:14 +02:00
Mary	e5261228d7	infra: Fix team name in reviewer.yml	2023-07-12 19:22:09 +02:00
Mary	e61c09bc85	infra: Fix PR triage once and for all (#5442) ... Switch to a custom made python script that query GitHub API to grab latest state of the PR after label assign.	2023-07-12 18:31:08 +02:00