Skip to content

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

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

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

Triggered via pull request review January 31, 2025 08:55
@YaelDilliesYaelDillies
submitted f55a802
Status Success
Total duration 11s
Artifacts

maintainer_bors.yml

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