Add "ready-to-merge" and "delegated" label #25238
Triggered via pull request review
February 2, 2025 10:23
Ruben-VandeVelde
submitted
1ffe26d
Status
Success
Total duration
11s
Artifacts
–
maintainer_bors.yml
on: pull_request_review
Add ready-to-merge or delegated label
3s