0
0
Fork 0
Commit graph

1 commit

Author SHA1 Message Date
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