Jeff King <peff@xxxxxxxx> writes: > 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. >> 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.
