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

[Merged by Bors] - chore(Data/Set/Finite/Basic): drop porting note #29439

Sign in to view logs

[Merged by Bors] - chore(Data/Set/Finite/Basic): drop porting note

[Merged by Bors] - chore(Data/Set/Finite/Basic): drop porting note #29439

Triggered via issue February 11, 2025 23:41
@kim-emkim-em
commented on #21570 83e6d7e
Status Success
Total duration 20s
Artifacts –

maintainer_bors.yml

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

Annotations

1 warning
Add ready-to-merge or delegated label
Unexpected input(s) 'repository', 'issue_number', 'labels', valid inputs are ['route', 'mediaType']