Topic on Talk:Gerrit

Jump to navigation Jump to search

remove git.wikimedia.org alternative remote

1
SPage (WMF) (talkcontribs)

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.

Reply to "remove git.wikimedia.org alternative remote"