Add `external` label to issues and PRs created by external users

Abuse Checkpoint.redo field to distinguish shutdown checkpoints #1300

Sign in to view logs

Triggered via pull request December 4, 2024 14:01

hlinnaka

opened #10010

Status Success

Total duration 15s

Artifacts –

label-for-external-users.yml

on: pull_request_target