Skip to content

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

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

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

Triggered via pull request review November 24, 2024 15:45
@YaelDilliesYaelDillies
submitted 5189bc2
Status Success
Total duration 13s
Artifacts

maintainer_bors.yml

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