Mirroring mediawiki/core to GitHub from diffusion does not work
Closed, ResolvedPublic
Actions

Assigned To

None

Authored By

	Paladox
	May 17 2016, 10:09 AM

Description

Steps to reproduce

The repo is enabled in diffusion and gerrit.

But this https://github.com/wikimedia/mediawiki/commit/d27a597efa5a926b662df48b058fbf31881b5da7

Should be working. It's an open change but phabricator pushes everything from refs/*

But with metrolook which is enabled this works https://github.com/wikimedia/mediawiki-skins-Metrolook/commit/68fbfced9fbaa26a9f38916251dc271ec860ec47

Which is an open change. So I'm wondering why mediawiki core is not working from diffusion mirroring. We tryed this a few months ago and it didn't work but with metrolook working it is strange mediawiki core isent.

Related Objects

Mentioned In: T155170: Define and create introduction to WMSE standard tools for code collaboration
Mentioned Here: T135403: Rename repository names in Diffusion which have different names than in (canonical) Gerrit or Github (consistency)

Event Timeline

Paladox created this task.May 17 2016, 10:09 AM

Restricted Application added subscribers: Zppix, TerraCodes, Aklapper. · View Herald TranscriptMay 17 2016, 10:09 AM

@demon can I add you to task please.

In just wondering why metrolook works and mediawiki core dosent.

Could it be a bug in phabricator that if it is a big repo it carnt mirror it with tons of changes.

Paladox added projects: Gitblit-Deprecate, Gerrit-Migration.May 17 2016, 10:14 AM

May T135403: Rename repository names in Diffusion which have different names than in (canonical) Gerrit or Github (consistency) be related?

@Danny_B nope because you set the mirror link in diffusion for each repo. Any repo can have a different name to the mirror.

Aklapper removed projects: Gerrit-Migration, Gitblit-Deprecate, MediaWiki-General, Phabricator.May 17 2016, 2:10 PM

@Aklapper should we keep the gerrit-migration project here due to the fact mirroring for this repo is not working in diffusion.

TerraCodes added a project: Wikimedia-GitHub.May 17 2016, 3:58 PM

Luke081515 subscribed.May 17 2016, 4:01 PM

Workaround is to manually add refs/changes to the mirror.

The diffusion will start mirroring because it would not need to mirror all of it since it would be there.

Ive tested with my test mirror and it works.

So for any big repos with a ton of changes in refs/changes/ would need to follow this workaround.

Workaround was provided by @demon. Its GitHub that is broken.

Danny_B unsubscribed.May 18 2016, 9:58 AM

I guess we could look for a way to choose the refs we want to mirror on a per repo basis but this would be a request for upstream.

• demon triaged this task as Medium priority.Sep 1 2016, 10:23 PM

This should work now (errr, in about 20 minutes or so when my bash script finishes). Basically iterated over all the refs/changes/{00..99}/* and pushed them one by one.

Thankyou very much.

@demon it worked https://github.com/wikimedia/mediawiki/commit/1d5dfd97c59fccf19da10669ec471379b46a1ec3 yay thankyou.

Could you do the same for operations/puppet please?

• Mattias_Ostmar-WMSE mentioned this in T155170: Define and create introduction to WMSE standard tools for code collaboration.Jan 12 2017, 10:02 PM

• demon moved this task from Backlog to Other on the Diffusion-Repository-Administrators board.Mar 17 2017, 10:57 PM

https://github.com/wikimedia/mediawiki/commit/d27a597efa5a926b662df48b058fbf31881b5da7 (link in the description) works now. Anything else needs to be done here? Thanks.

Upstream fixed this issue I think a week ago so it can push all refs at once instead of in batches.

Paladox removed Paladox as the assignee of this task.Jun 23 2018, 12:29 PM

As I've said before, there's no need to push them?

Mirroring mediawiki/core to GitHub from diffusion does not workClosed, ResolvedPublicActions

Description

Related Objects

Event Timeline

Mirroring mediawiki/core to GitHub from diffusion does not work
Closed, ResolvedPublic
Actions