GitHub mirror is not syncing

[c00kiemon5ter]

At the time of this writing, the Github mirror[0] says

Latest commit 4c2fcf3 28 days ago

Either the statement about syncing every 15minutes is wrong and the mirror has been abandoned, or the sync process is stuck.

Since, I rely on the github mirror for some the work I do with wordpress, I would really like this to be resolved, as I believe it is easy to do so.

Cheers,

[0]: ​https://github.com/WordPress/WordPress

[SergeyBiryukov]

Hi @c00kiemon5ter, welcome to WordPress Trac!

Until the GitHub mirror sync is fixed, can you switch your remote to ​git://core.git.wordpress.org/? That should be more reliable.

[GamerZ]

I swap GH repo with WordPress.org. But it got stuck at fetching tags.

$  git remote set-url origin git://core.git.wordpress.org/
$  git fetch --tags -v
Looking up core.git.wordpress.org ... done.
Connecting to core.git.wordpress.org (port 9418) ... 198.143.164.245 done.

[c00kiemon5ter]

I see github has been updated. I will also try the core.git.wp remote. Thanks!

[jasonadamyoung]

I need to chime in with a "me too" here.

I went to update to 4.9.8 today and observed the broken mirror. My workflow is treat the GitHub mirror as an upstream remote and do a git merge from the tags into my own git repositories for my wordpress sites + plugins, I've been doing that for years, and it's always been spot-on reliable until today.

Switching to ​git://core.git.wordpress.org/ is going to be a giant mess of conflicts because the git history is treated as unrelated - at least from the first local tests (also being able to use the GitHub web UI to inspect changes is a huge benefit as well)

I'm super thankful for this mirror and appreciate the volunteer work that goes into maintaining it. It's been a first-class part of the WordPress dev for years, if that's going to change, I do understand - but it's definitely going to cause some headaches.

I know this is assigned, but I just wanted to add the "me too" about how useful this mirror has been and would continue to be.

[SergeyBiryukov]

GitHub sync appears to be fixed.

(Found an older ticket for sync issues: #40898, closing this one.)