Close bad repo-sync PRs

Update changing-your-github-username.md #8846

Sign in to view logs

Triggered via pull request October 3, 2024 22:45

dewantawsif

opened #34828

Status Skipped

Total duration 3s

Artifacts –

close-bad-repo-sync-prs.yml

on: pull_request_target

Close if invalid repo-sync PR author