Add "ready-to-merge" and "delegated" label #808
Triggered via pull request review
November 22, 2024 23:59
eric-wieser
eric-wieser
submitted
53a186a
Status
Success
Total duration
1m 1s
Artifacts
–
maintainer_bors.yml
on: pull_request_review
Add ready-to-merge or delegated label
2s