Page MenuHomePhabricator

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

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?

Event Timeline

adrelanos created this task.Jan 9 2019, 9:48 AM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptJan 9 2019, 9:48 AM
Zoranzoki21 closed this task as Invalid.Jan 9 2019, 10:01 AM
Zoranzoki21 added a subscriber: Zoranzoki21.

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 :)