From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 16 Oct 2018 04:50:25 GMT
Subject: Re: [PATCH 0/9] Offer to run CI/PR builds in Visual Studio Team Services
Message-ID: <xmqqd0sa1omm.fsf@gitster-ct.c.googlers.com>
In-Reply-To: <nycvar.QRO.7.76.6.1810152032140.4546@tvgsbejvaqbjf.bet>

Johannes Schindelin <Johannes.Schindelin@gmx.de> writes:

> AFAIR Junio does not push to github.com/git/git, it is an automatic
> mirror.
>
> GitLab could easily do the same.

It used to be in the early days but these days git/git and
gitster/git are updated in a same for loop that pushes to various
destinations.  You are correct that GitLab or any other hosting
sites could do the same polling and mirroring.  I am just too lazy
to open a new account at yet another hosting site to add that for
loop, but I may choose to when I am absolutely bored and nothing
else to do ;-).