Close bad repo-sync PRs

Merge pull request #1 from github/main #13845

Sign in to view logs

Triggered via pull request January 23, 2026 21:33

mfbrki

opened #42524

Status Skipped

Total duration 1s

Artifacts –

close-bad-repo-sync-prs.yml

on: pull_request_target

Close if invalid repo-sync PR author