Re: [PATCH] cook: add github.com/git-vcs/git as a URL

From: Junio C Hamano <gitster@pobox.com>
Date: Dec 1, 2020, 19:10 UTC
Message-ID: <xmqqy2ihpck7.fsf@gitster.c.googlers.com>
In-Reply-To: <X8Ytbbvp7SjrN2g5@coredump.intra.peff.net>

Jeff King <peff@peff.net> writes:

Show 26 quoted lines

> On Tue, Dec 01, 2020 at 10:46:23AM +0100, Ævar Arnfjörð Bjarmason wrote:
>
>> Subject: Re: [PATCH] cook: add github.com/git-vcs/git as a URL
>>
>> I maintain this mirror, but hopefully we can make it semi-official.
>
> I scratched my head for a moment at why you would main another mirror on
> github.com. But I think it is just a typo in the subject. You are
> maintaining a mirror on gitlab.com, which seems perfectly reasonable.
>
>> It
>> has the same refs as the GitHub one except for the GitHub "pull" refs:
>> 
>>     $ diff -u \
>>         <(git ls-remote https://gitlab.com/git-vcs/git.git/) \
>>         <(git ls-remote https://github.com/git/git/|grep -v refs/pull)
>>     $
>
> I.e., here it is gitlab.com/git-vcs/git, although...
>
>> As an aside there are also https://gitlab.com/gitlab-org/git and
>> https://gitlab.com/git-vcs/git which mostly mirror but also carry some
>> GitLab Employee topic branches.
>
> The mention of git-vcs/git here again confused me. Is it an "also", or
> is it the thing we are talking about?

Ah, thanks for good eyes.

If https://gitlab.com/git-vcs/git is mirror-plus-something-else, then that is a bad fit for the purpose of the list there.

Show 14 quoted lines

>> diff --git a/MaintNotes b/MaintNotes
>> index 0dc03080de..bb3064e9ac 100644
>> --- a/MaintNotes
>> +++ b/MaintNotes
>> @@ -136,6 +136,7 @@ My public git.git repositories are (mirrored) at:
>>    https://kernel.googlesource.com/pub/scm/git/git
>>    git://repo.or.cz/alt-git.git/
>>    https://github.com/git/git/
>> +  https://gitlab.com/git-vcs/git/
>
> This part make sense to me at least. :)
>
> 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.