gerrit.wikimedia.org git clone command suggestion broken
Closed, DuplicatePublic
Actions

Assigned To

None

Authored By

	adrelanos
	Jan 9 2019, 9:48 AM

Description

Most mediawiki extension pages such as for example https://www.mediawiki.org/wiki/Extension:ContactPage lists browse repository which then links to for example to https://gerrit.wikimedia.org/g/mediawiki/extensions/ContactPage. There I will be greeted by:

MediaWiki extension ContactPage.
Clone this repo:
git clone ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/ContactPage

That git clone command however doesn't work since I don't have ssh access.

If I replace ssh: with https: it still doesn't work.

Am I supposed to clone from github? Is that the best place where users should git clone extensions?

Restricted Application added a subscriber: Aklapper. · View Herald TranscriptJan 9 2019, 9:48 AM

Because you have to remove :29418. You want to clone repository as unregistred user?

Too you can always search for repository at https://gerrit.wikimedia.org/r/#/admin/projects/ and there you will have option for cloning as unregistred user.

I would not call this invalid because adrelanos did what was told to them :)