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.
| Status | Subtype | Assigned | Task | ||
|---|---|---|---|---|---|
| Resolved | Addshore | T173818 [Epic] Kill the Wikidata build step | |||
| Resolved | Addshore | T181709 Cleanup Phabricator tickets once the build is dead | |||
| Resolved | WMDE-leszek | T178226 Rename mediawiki/extensions/WikibaseJavaScriptApi repo |
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
Change 388039 merged by jenkins-bot:
[integration/config@master] npm job for wikibase/javascript-api
Change 388040 had a related patch set uploaded (by Hashar; owner: Hashar):
[mediawiki/extensions/WikibaseJavaScriptApi@master] Jenkins job validation (DO NOT SUBMIT)
Change 388042 had a related patch set uploaded (by Hashar; owner: Hashar):
[wikibase/javascript-api@master] Repository is no more a MediaWiki extension
Change 388042 merged by jenkins-bot:
[wikibase/javascript-api@master] Repository is no more a MediaWiki extension
Change 387815 had a related patch set uploaded (by Hashar; owner: Legoktm):
[mediawiki/extensions/WikibaseJavaScriptApi@master] Archive extension
Change 388044 had a related patch set uploaded (by Hashar; owner: Hashar):
[integration/config@master] Archive mediawiki/extensions/WikibaseJavaScriptApi
Change 388044 merged by jenkins-bot:
[integration/config@master] Archive mediawiki/extensions/WikibaseJavaScriptApi
Change 387815 merged by Hashar:
[mediawiki/extensions/WikibaseJavaScriptApi@master] Archive extension
Mentioned in SAL (#wikimedia-releng) [2017-11-02T13:02:23Z] <hashar> gerrit: marked mediawiki/extensions/WikibaseJavaScriptApi.git read-only - T178226
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
Change 388047 had a related patch set uploaded (by Hashar; owner: Hashar):
[mediawiki/extensions@master] Unregister WikibaseJavaScriptApi
Change 388047 merged by Hashar:
[mediawiki/extensions@master] Unregister WikibaseJavaScriptApi
Change 388046 merged by jenkins-bot:
[mediawiki/extensions/Wikibase@master] Updated the URL of wikibase-javascript-api submodule
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)
Change 456396 merged by jenkins-bot:
[wikibase/javascript-api@master] Re add basic composer.json (Needed to update info on packagist)
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?