Add "ready-to-merge" and "delegated" label #803
Triggered via pull request review comment
November 22, 2024 23:46
eric-wieser
eric-wieser
created
6285a3e
Status
Success
Total duration
13s
Artifacts
–
maintainer_bors.yml
on: pull_request_review_comment
Add ready-to-merge or delegated label
4s