Move and unlabel ready to merge PRs

GitHub Pages: Adding note to remove default DNS records #21147

Sign in to view logs

Triggered via pull request February 4, 2025 08:39

subatoi

labeled #36157

Status Skipped

Total duration 1s

Artifacts –

move-ready-to-merge-pr.yaml

on: pull_request_target

unmark_for_review