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