Skip to content

Add "ready-to-merge" and "delegated" label #35820

Add "ready-to-merge" and "delegated" label

Add "ready-to-merge" and "delegated" label #35820

Triggered via pull request review comment February 25, 2025 17:52
@Paul-LezPaul-Lez
created 0dcce80
Status Success
Total duration 17s
Artifacts

maintainer_bors.yml

on: pull_request_review_comment
Add ready-to-merge or delegated label
6s
Add ready-to-merge or delegated label
Fit to window
Zoom out
Zoom in