From e5e962054e103ceb24879eff0750e009050332c3 Mon Sep 17 00:00:00 2001 From: Nathan TeBlunthuis Date: Fri, 1 Aug 2025 09:20:27 -0700 Subject: [PATCH] use gerrit instead of github for wikidiff2 submodule. --- .gitmodules | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.gitmodules b/.gitmodules index 90e2577..d0f0478 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,5 @@ [submodule "mediawiki-php-wikidiff2"] path = mediawiki-php-wikidiff2 url = https://github.com/wikimedia/mediawiki-php-wikidiff2.git +[submodule "mediawiki-php-wikidiff2/"] + url = ssh://nathante@gerrit.wikimedia.org:29418/mediawiki/php/wikidiff2.git