Page MenuHomePhabricator

Rename mediawiki/extensions/WikibaseJavaScriptApi repo
Closed, ResolvedPublic

Description

Once pseudo-extension WikibaseJavaScriptApi has become wikibase-javascript-api npm package (i.e. once https://gerrit.wikimedia.org/r/#/c/384025 got merged, tagged, and published on npm), it is no longer installed as a MW extension. As such, it should not pretend to be in its git repo name. Gerrit repo/project mediawiki/extension/WikibaseJavaScriptApi should be renamed (as well as its github mirror).

A possible name for the new location could be wikibase/javascript-api.

Event Timeline

Paladox moved this task from Bugs & stuff to Repo Admin on the Gerrit board.
hashar added a subscriber: hashar.

I guess in Gerrit I can mirror mediawiki/extensions/WikibaseJavaScriptApi to wikibase/javascript-api including all references such as refs/changes/. Then we can empty up the extension and mark it read-only in Gerrit.

Mentioned in SAL (#wikimedia-releng) [2017-11-02T12:17:48Z] <hashar> gerrit: created wikibase/javascript-api inheriting from wikibase.git - T178226

I did the clone with:

git clone --mirror mediawiki/extensions/WikibaseJavaScriptApi
git push --mirror wikibase/javascript-api

The extension should be cleaned up via https://gerrit.wikimedia.org/r/#/c/387815/

Change 388039 had a related patch set uploaded (by Hashar; owner: Hashar):
[integration/config@master] npm job for wikibase/javascript-api

https://gerrit.wikimedia.org/r/388039

Change 388039 merged by jenkins-bot:
[integration/config@master] npm job for wikibase/javascript-api

https://gerrit.wikimedia.org/r/388039

Change 388040 had a related patch set uploaded (by Hashar; owner: Hashar):
[mediawiki/extensions/WikibaseJavaScriptApi@master] Jenkins job validation (DO NOT SUBMIT)

https://gerrit.wikimedia.org/r/388040

Change 388042 had a related patch set uploaded (by Hashar; owner: Hashar):
[wikibase/javascript-api@master] Repository is no more a MediaWiki extension

https://gerrit.wikimedia.org/r/388042

Change 388040 abandoned by Hashar:
Jenkins job validation (DO NOT SUBMIT)

https://gerrit.wikimedia.org/r/388040

Change 388042 merged by jenkins-bot:
[wikibase/javascript-api@master] Repository is no more a MediaWiki extension

https://gerrit.wikimedia.org/r/388042

Change 387815 had a related patch set uploaded (by Hashar; owner: Legoktm):
[mediawiki/extensions/WikibaseJavaScriptApi@master] Archive extension

https://gerrit.wikimedia.org/r/387815

Change 388044 had a related patch set uploaded (by Hashar; owner: Hashar):
[integration/config@master] Archive mediawiki/extensions/WikibaseJavaScriptApi

https://gerrit.wikimedia.org/r/388044

Change 388044 merged by jenkins-bot:
[integration/config@master] Archive mediawiki/extensions/WikibaseJavaScriptApi

https://gerrit.wikimedia.org/r/388044

Change 387815 merged by Hashar:
[mediawiki/extensions/WikibaseJavaScriptApi@master] Archive extension

https://gerrit.wikimedia.org/r/387815

Mentioned in SAL (#wikimedia-releng) [2017-11-02T13:02:23Z] <hashar> gerrit: marked mediawiki/extensions/WikibaseJavaScriptApi.git read-only - T178226

hashar added a comment.Nov 2 2017, 1:03 PM

Summary

mediawiki/extensions/WikibaseJavaScriptApi.git is empty and read-only in Gerrit. CI is unconfigured.

The repository has been mirrored to wikibase/javascript-api and CI runs npm on it

Change 388046 had a related patch set uploaded (by WMDE-leszek; owner: WMDE-leszek):
[mediawiki/extensions/Wikibase@master] Updated the URL of wikibase-javascript-api submodule

https://gerrit.wikimedia.org/r/388046

Change 388047 had a related patch set uploaded (by Hashar; owner: Hashar):
[mediawiki/extensions@master] Unregister WikibaseJavaScriptApi

https://gerrit.wikimedia.org/r/388047

Change 388047 merged by Hashar:
[mediawiki/extensions@master] Unregister WikibaseJavaScriptApi

https://gerrit.wikimedia.org/r/388047

WMDE-leszek closed this task as Resolved.Nov 2 2017, 1:08 PM
WMDE-leszek claimed this task.

Change 388046 merged by jenkins-bot:
[mediawiki/extensions/Wikibase@master] Updated the URL of wikibase-javascript-api submodule

https://gerrit.wikimedia.org/r/388046

Change 456396 had a related patch set uploaded (by Addshore; owner: Addshore):
[wikibase/javascript-api@master] Re add basic composer.json (Needed to update info on packagist)

https://gerrit.wikimedia.org/r/456396

Change 456396 merged by jenkins-bot:
[wikibase/javascript-api@master] Re add basic composer.json (Needed to update info on packagist)

https://gerrit.wikimedia.org/r/456396

It's a shame that when the mirror was moved a redirect was not left in place.
I believe this is the default github behaviour for moving repos, but i guess we don't take advantage of that for our mirrors?