Re: [PATCH 0/9] Offer to run CI/PR builds in Visual Studio Team Services

From: Christian Couder <christian.couder@gmail.com>
Date: Oct 16, 2018, 00:24 UTC
Message-ID: <CAP8UFD0SAwHMfRN8a=LsbChQhHC=Lsi5t6yvmQ4FuxjDXZtSTA@mail.gmail.com>
In-Reply-To: <nycvar.QRO.7.76.6.1810152032140.4546@tvgsbejvaqbjf.bet>

On Mon, Oct 15, 2018 at 8:33 PM Johannes Schindelin <Johannes.Schindelin@gmx.de> wrote:

Show 19 quoted lines

>
> Hi team,
>
> On Mon, 15 Oct 2018, Christian Couder wrote:
>
> > On Mon, Oct 15, 2018 at 5:46 PM Duy Nguyen <pclouds@gmail.com> wrote:
> > >
> > > On Mon, Oct 15, 2018 at 5:08 PM Ævar Arnfjörð Bjarmason
> > > <avarab@gmail.com> wrote:
> > > > As an aside I poked Junio via private mail in late August to see if he'd
> > > > be interested in pushing to gitlab.com/git/git.git too as part of his
> > > > normal push-outs.
> >
> > People at GitLab also have wondered if it would be possible for GitLab
> > to host an official Git mirror, and I think it would be nice indeed if
> > Junio could push to gitlab.com.
>
> AFAIR Junio does not push to github.com/git/git, it is an automatic
> mirror.

On https://git-blame.blogspot.com/p/git-public-repositories.html there is:

"Copies of the source code to Git live in many repositories, and this is a list of the ones I push into. Some repositories have only a subset of branches.

With maint, master, next, pu, todo:

[...] https://github.com/git/git/ "

> GitLab could easily do the same.

Yeah, GitLab could easily create an automatic mirror. I think it would be a bit better though if the git repo on GitLab could be independent. It could make things more resilient against outages or security issues.