From 9b40efca4bbdfbe446cdb134cf3ee34c295b8d99 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 | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.gitmodules b/.gitmodules index 90e2577..cce21b0 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,4 @@ [submodule "mediawiki-php-wikidiff2"] path = mediawiki-php-wikidiff2 - url = https://github.com/wikimedia/mediawiki-php-wikidiff2.git + url = ssh://nathante@gerrit.wikimedia.org:29418/mediawiki/php/wikidiff2.git +