use gerrit instead of github for wikidiff2 submodule.
This commit is contained in:
parent
6ef2a769d5
commit
9b40efca4b
3
.gitmodules
vendored
3
.gitmodules
vendored
@ -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
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user