Add "ready-to-merge" and "delegated" label from PR review #12217
Triggered via pull request review
September 27, 2023 19:07
eric-wieser
eric-wieser
submitted
9e63712
Status
Skipped
Total duration
3s
Artifacts
–
add_label_from_review.yml
on: pull_request_review
Add ready-to-merge label
0s
Add delegated label
0s