From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Mon, 15 Oct 2018 18:33:20 GMT
Subject: Re: [PATCH 0/9] Offer to run CI/PR builds in Visual Studio Team Services
Message-ID: <nycvar.QRO.7.76.6.1810152032140.4546@tvgsbejvaqbjf.bet>
In-Reply-To: <CAP8UFD3cpXpyx-AtTybPirzduFR7TfhFf2woa-_CU46DN3RaXw@mail.gmail.com>

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.

GitLab could easily do the same.

Ciao,
Johannes