From: Jeff King <peff@peff.net>
Date: Wed, 02 Dec 2020 01:44:28 GMT
Subject: Re: [PATCH] cook: add github.com/git-vcs/git as a URL
Message-ID: <X8bxfGP0b6v3rM9/@coredump.intra.peff.net>
In-Reply-To: <xmqqy2ihpck7.fsf@gitster.c.googlers.com>

On Tue, Dec 01, 2020 at 11:10:32AM -0800, Junio C Hamano wrote:

> > Would you want to get the maintainer to also push to it as part of the
> > regular push-out, so there is never any mirror lag?
> 
> The maintainer does not want to push to more repositories than he
> currently does.  I think the one at googlesource.com is a mere
> mirror out of k.org and not something I push directly into.

That's fair. I definitely don't want to create more work for you. My
only concern would be if the mirror is lagged, etc; but you covered all
of that and more in your other response, so I can shut up now. :)

-Peff