On Mon, Oct 15, 2018 at 8:33 PM Johannes Schindelin <johannes.schinde...@gmx.de> wrote: > > Hi team, > > On Mon, 15 Oct 2018, Christian Couder wrote: > > > On Mon, Oct 15, 2018 at 5:46 PM Duy Nguyen <pclo...@gmail.com> wrote: > > > > > > On Mon, Oct 15, 2018 at 5:08 PM Ævar Arnfjörð Bjarmason > > > <ava...@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.
On https://git-blame.blogspot.com/p/git-public-repositories.html there is: "Copies of the source code to Git live in many repositories, and this is a list of the ones I push into. Some repositories have only a subset of branches. With maint, master, next, pu, todo: [...] https://github.com/git/git/ " > GitLab could easily do the same. Yeah, GitLab could easily create an automatic mirror. I think it would be a bit better though if the git repo on GitLab could be independent. It could make things more resilient against outages or security issues.
