Gerrit is not correctly replicating to github

[patrick mulhall]

Hi https://gerrit.googlesource.com/gerrit/ is not correctly replicating to https://github.com/gerrit-review/gerrit

Since it last show it as updated on September 16 2016 but https://gerrit.googlesource.com/gerrit/ was updated today.

The version there using is Gerrit 2.13.

Could this be fixed please?

[David Pursehouse]

On Thu, Sep 22, 2016 at 10:13 AM patrick mulhall <thomasmu...@btinternet.com> wrote:

Hi https://gerrit.googlesource.com/gerrit/ is not correctly replicating to https://github.com/gerrit-review/gerrit

Note that the mirror on github is not an official mirror.  It's maintained by Urs Wolfer (added in CC) but I don't know if there is an automated pull/push or if it's manual.

 

Since it last show it as updated on September 16 2016 but https://gerrit.googlesource.com/gerrit/ was updated today.

The version there using is Gerrit 2.13.

Could this be fixed please?

I've just manually pushed the latest master and stable-2.13 branches.

 

[Dave Borowitz]

FWIW there is no automated googlesource.com -> github push on the googlesource.com server side (i.e. no replication plugin or similar).

On Thu, Sep 22, 2016 at 10:15 AM, David Pursehouse <david.pu...@gmail.com> wrote:

--
--
To unsubscribe, email repo-discuss+unsubscribe@googlegroups.com
More info at http://groups.google.com/group/repo-discuss?hl=en

---
You received this message because you are subscribed to the Google Groups "Repo and Gerrit Discussion" group.
To unsubscribe from this group and stop receiving emails from it, send an email to repo-discuss+unsubscribe@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[lucamilanesio]

There is actually an automated replication from Gerrit to GitHub on www.gerrithub.io and relies on the github and replication plugins.

I managed the replicas from gerrit-review to gerrithub (see www.gerrithub.io/GerritCodeReview) and then the github part is automatic.

All the github/GerritCodeReview projects are up-to-date AFAIK.

HTH.

Luca.

On Thursday, September 22, 2016 at 9:17:05 AM UTC+1, Dave Borowitz wrote:

FWIW there is no automated googlesource.com -> github push on the googlesource.com server side (i.e. no replication plugin or similar).

On Thu, Sep 22, 2016 at 10:15 AM, David Pursehouse <david.pu...@gmail.com> wrote:

On Thu, Sep 22, 2016 at 10:13 AM patrick mulhall <thomasmu...@btinternet.com> wrote:

Hi https://gerrit.googlesource.com/gerrit/ is not correctly replicating to https://github.com/gerrit-review/gerrit

Note that the mirror on github is not an official mirror.  It's maintained by Urs Wolfer (added in CC) but I don't know if there is an automated pull/push or if it's manual.

 

Since it last show it as updated on September 16 2016 but https://gerrit.googlesource.com/gerrit/ was updated today.

The version there using is Gerrit 2.13.

Could this be fixed please?

I've just manually pushed the latest master and stable-2.13 branches.

 

--
--
To unsubscribe, email repo-discuss...@googlegroups.com

More info at http://groups.google.com/group/repo-discuss?hl=en

---
You received this message because you are subscribed to the Google Groups "Repo and Gerrit Discussion" group.

To unsubscribe from this group and stop receiving emails from it, send an email to repo-discuss...@googlegroups.com.

[patrick mulhall]

Hi thanks. I guess there may be an issue with gerrithub since it seems t isent updating automatically only manually.

[patrick mulhall]

Oh there's https://github.com/GerritCodeReview/gerrit/tree/refs/heads/master instead. Could we redirect users to that please? Seem to be more
Update to date.

[patrick mulhall]

Oh never mind that one isent updating automatically either. Maybe a bug in the replication plugin since gerrithub is using gerrit 2.12.1 which has known bugs.

[lucamilanesio]

They seem aligned to me:

https://gerrit.googlesource.com/gerrit/+/refs/heads/master

https://github.com/GerritCodeReview/gerrit/commits/refs/heads/master

Where is the problem you are having? What's behind?

Luca.

[Dave Borowitz]

On Thu, Sep 22, 2016 at 11:53 AM, patrick mulhall <thomasmu...@btinternet.com> wrote:

Oh there's https://github.com/GerritCodeReview/gerrit/tree/refs/heads/master instead. Could we redirect users to that please?

I feel like I'm missing something? Who is "we", and why are "we" redirecting users to GitHub? Gerrit is hosted at:

https://gerrit.googlesource.com/gerrit

http://gerritcodereview.com/

If users are being directed anywhere, they should be directed to the official project homepage.

 

Seem to be more
Update to date.

--
--
To unsubscribe, email repo-discuss+unsubscribe@googlegroups.com

More info at http://groups.google.com/group/repo-discuss?hl=en

---
You received this message because you are subscribed to the Google Groups "Repo and Gerrit Discussion" group.

To unsubscribe from this group and stop receiving emails from it, send an email to repo-discuss+unsubscribe@googlegroups.com.

[patrick mulhall]

Hi sorry who ever owns the mirror and does the mirroring. I'm aware it's unofficial but I find it easier to read
Github then reading the google hosted git. Since googles git dosent allow you to search the code and it isent much readable.

The mirror helped me find code I could have improved.

[luca.mi...@gmail.com]

The GitHub mirror redirects to the official one (gogglesource) ... not the other way around ;-)

Luca

Sent from my iPhone

--
--
To unsubscribe, email repo-discuss...@googlegroups.com

More info at http://groups.google.com/group/repo-discuss?hl=en

---
You received this message because you are subscribed to the Google Groups "Repo and Gerrit Discussion" group.

To unsubscribe from this group and stop receiving emails from it, send an email to repo-discuss...@googlegroups.com.

[patrick mulhall]

Yep I wonder why it isent doing it automatically. By that I mean getting it from the officials repo and then replicating it from gerrithub to github?

[luca.mi...@gmail.com]

Apologies but I do not understand the syntax of what you are asking for :-(

See my comments below.

Sent from my iPhone

On 22 Sep 2016, at 15:12, patrick mulhall <thomasmu...@btinternet.com> wrote:

Yep I wonder why it isent doing it automatically.

"It isent doing it?" Can you express the concept in other words?

By that I mean getting it from the officials repo and then replicating it from gerrithub to github?

The official repo doesn't have a replication plugin installed, that's why we need GerriHub.io who does the job.

Hope this clarifies.

Luca

[patrick mulhall]

Hi sorry yep. But I thought the replication plugin on gerrithub.io will replicate automatically to github? Or does it have to be done manually all the time?

Yes I know that this isent the official repo on github and that gerrit-review doint do any of the replicating or maintaining the mirror but it seems gerrithub.io may be having problems mirroring unless it's because it isent observing the official repo here?

[Luca Milanesio]

On 23 Sep 2016, at 08:52, patrick mulhall <thomasmu...@btinternet.com> wrote:

Hi sorry yep. But I thought the replication plugin on gerrithub.io will replicate automatically to github? Or does it have to be done manually all the time?

Replication plugin does it automatically.

Yes I know that this isent the official repo on github and that gerrit-review doint do any of the replicating or maintaining the mirror but it seems gerrithub.io may be having problems mirroring unless it's because it isent observing the official repo here?

I don't get your point: what is the problem? What are the commits that you only see on gerrit.googlesource.com and not on GitHub?

Luca.

[patrick mulhall]

Oh it seems that https://github.com/GerritCodeReview/gerrit/ is correctly working.

But this one https://github.com/gerrit-review/gerrit isent updating? Where does this one come from? Github.io?

[Luca Milanesio]

> On 23 Sep 2016, at 09:17, patrick mulhall <thomasmu...@btinternet.com> wrote:
>
> Oh it seems that https://github.com/GerritCodeReview/gerrit/ is correctly working.

That's the replication plugin magic :-)

>
> But this one https://github.com/gerrit-review/gerrit isent updating? Where does this one come from? Github.io?

See previous e-mails, that replica is managed manually I guess ...

[Urs Wolfer]

On Thursday, September 22, 2016 at 10:15:58 AM UTC+2, David Pursehouse wrote:

On Thu, Sep 22, 2016 at 10:13 AM patrick mulhall <thomasmu...@btinternet.com> wrote:

Hi https://gerrit.googlesource.com/gerrit/ is not correctly replicating to https://github.com/gerrit-review/gerrit

Note that the mirror on github is not an official mirror.  It's maintained by Urs Wolfer (added in CC) but I don't know if there is an automated pull/push or if it's manual.

It is synced once a day with a cron job, but the machine running this task is not always on. So it is not an optimal solution at all.

There are official GitHub mirrors of many projects, for example also the Android project [1]. These mirrors are also clearly marked as mirrors. I have asked GitHub support if it would be possible to change the current manually synced mirror to a official GitHub mirror. They would do if a maintainer of this project requests it. I will forward the answer to David Pursehouse and Dave Borowitz so it's up to you if you want to request it. IMHO it's worth keeping the GitHub mirror for more publicity (as you can see there are quite some stars and watches).

Since it last show it as updated on September 16 2016 but https://gerrit.googlesource.com/gerrit/ was updated today.

The version there using is Gerrit 2.13.

Could this be fixed please?

I've just manually pushed the latest master and stable-2.13 branches.

Thanks, David.

Bye

urs 

[1] https://github.com/android