use gerrit instead of github for wikidiff2 submodule.
This commit is contained in:
		
							parent
							
								
									6ef2a769d5
								
							
						
					
					
						commit
						e5e962054e
					
				
							
								
								
									
										2
									
								
								.gitmodules
									
									
									
									
										vendored
									
									
								
							
							
						
						
									
										2
									
								
								.gitmodules
									
									
									
									
										vendored
									
									
								
							| @ -1,3 +1,5 @@ | |||||||
| [submodule "mediawiki-php-wikidiff2"] | [submodule "mediawiki-php-wikidiff2"] | ||||||
| 	path = mediawiki-php-wikidiff2 | 	path = mediawiki-php-wikidiff2 | ||||||
| 	url = https://github.com/wikimedia/mediawiki-php-wikidiff2.git | 	url = https://github.com/wikimedia/mediawiki-php-wikidiff2.git | ||||||
|  | [submodule "mediawiki-php-wikidiff2/"] | ||||||
|  | 	url = ssh://nathante@gerrit.wikimedia.org:29418/mediawiki/php/wikidiff2.git | ||||||
|  | |||||||
		Loading…
	
		Reference in New Issue
	
	Block a user