cook: add https://gitlab.com/git-vcs/git as another mirror

avar · gitster · commit 2f839f597c61 · 2020-12-01T13:22:41.000-08:00
I maintain this mirror, and hopefully we can make it semi-official. 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) $ Although I had to delete the stale "pu" manually just now. Signed-off-by: Ævar Arnfjörð Bjarmason <avarab@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
diff --git 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 one shows not just the main integration branches, but also
 individual topics broken out:
diff --git a/cook b/cook
@@ -295,15 +295,16 @@ the integration branches, but I am still holding onto them.
 
 
 Copies of the source code to Git live in many repositories, and the
-following is a list of the ones I push into.  Some repositories have
-only a subset of branches.
+following is a list of the ones I push into or their mirrors.  Some
+repositories have only a subset of branches.
 
 With maint, master, next, seen, todo:
 
 	git://git.kernel.org/pub/scm/git/git.git/
 	git://repo.or.cz/alt-git.git/
 	https://kernel.googlesource.com/pub/scm/git/git/
 	https://github.com/git/git/
+	https://gitlab.com/git-vcs/git/
 
 With all the integration branches and topics broken out:
 
