Hi team, On Mon, 15 Oct 2018, Christian Couder wrote: > On Mon, Oct 15, 2018 at 5:46 PM Duy Nguyen <pclouds@xxxxxxxxx> wrote: > > > > On Mon, Oct 15, 2018 at 5:08 PM Ævar Arnfjörð Bjarmason > > <avarab@xxxxxxxxx> 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
