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