Re: [PATCH 0/9] Offer to run CI/PR builds in Visual Studio Team Services
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Oct 15, 2018, 18:33 UTC
- 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:
Show 11 quoted lines
> 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