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

307 B

Raw Blame History

View Raw