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

From: Jeff King <peff@peff.net>
Date: Dec 1, 2020, 11:47 UTC
Message-ID: <X8Ytbbvp7SjrN2g5@coredump.intra.peff.net>
In-Reply-To: <20201201094623.4290-1-avarab@gmail.com>

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.

Show 7 quoted lines

> 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?

Show 9 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?

-Peff