Label Core Team PRs

Update deadlinks script to take into account redirects #387

Sign in to view logs

Triggered via pull request July 18, 2025 22:11

poteto

opened #7882

Status Success

Total duration 19s

Artifacts –

label_core_team_prs.yml

on: pull_request_target

check_maintainer / check_maintainer