WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com
Skip to content
Close bad repo-sync PRs

Merge pull request #1 from github/main #13423

Sign in to view logs

Merge pull request #1 from github/main

Merge pull request #1 from github/main #13423

Triggered via pull request December 7, 2025 15:45
@dekiwis4dekiwis4
synchronize #41727
Status Skipped
Total duration 1s
Artifacts –

close-bad-repo-sync-prs.yml

on: pull_request_target
Close if invalid repo-sync PR author
0s
Close if invalid repo-sync PR author
Fit to window
Zoom out
Zoom in