Label PRs

fix: clarify pointers for channel.servers and operation.channel fields #3009

Sign in to view logs

Triggered via issue November 28, 2023 20:37

derberg

commented on #996 83fd0b9

Status Skipped

Total duration 3s

Artifacts –

automerge-for-humans-add-ready-to-merge-or-do-not-merge-label.yml

on: issue_comment

add-ready-to-merge-label

add-do-not-merge-label

add-autoupdate-label