The text is currently
- To make an anonymous git clone of core MediaWiki you can clone from https://gerrit.wikimedia.org/r/p/mediawiki/core.git or https://git.wikimedia.org/git/mediawiki/core.git
I don't see any value to that second URL. The change is intentional, John Vandenberg commented
- add raw git url per last edits by user:Michael Allan; not a bad idea
But AFAIK there's nothing better about git.wikimedia.org, it's just a site running w:Gitblit that we hoped was better for viewing git repos than w:gitweb, though phab:T73974 "Git.wikimedia.org keeps going down".
Also I'm pretty sure it won't work for git review
, and having multiple remotes causes confusing warnings.
So I'm removing it. If there's a reason to give an alternative, explain why it's there.