Move code from "JADE" repository to "Jade" repository
Closed, ResolvedPublic
Actions

Assigned To

None

Authored By

	Harej
	Apr 16 2019, 12:26 AM

Project Tags

Referenced Files

None

Subscribers

Description

In T212180 a "Jade" repository was created. The existing code should be moved out of the "JADE" (all-caps) repo such that the "Jade" repo becomes the source of truth.

Details

Related Changes in Gerrit:

	Subject	Repo	Branch	Lines +/-
	[Jade] Switch vom JADE to Jade	translatewiki	master	+5 -5
	Switch vom JADE to Jade	mediawiki/extensions	master	+4 -4

Customize query in gerrit

Related Objects
Search...

Status	Assigned	Task
Declined	None	T212435 Review real-world query plans and performance for Jade
Declined	None	T238877 Write Huggle labels to Jade
Declined	calbon	T183381 Deploy pilot of Jade to a small set of wikis.
Resolved	Reedy	T211046 Rename "JADE" extension to "Jade"
Resolved	None	T221053 Move code from "JADE" repository to "Jade" repository

Event Timeline

Harej created this task.Apr 16 2019, 12:26 AM

Harej triaged this task as High priority.

Harej moved this task from Unsorted to Ready to go on the Machine-Learning-Team board.

Ladsgroup mentioned this in T212181: Rename JADE->Jade in continuous integration.Apr 17 2019, 9:58 AM

I think it's done now.

Harej closed this task as Resolved.Apr 19 2019, 2:05 AM

Change 505184 had a related patch set uploaded (by Umherirrender; owner: Umherirrender):
[translatewiki@master] [Jade] Switch vom JADE to Jade

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

gerritbot added a project: Patch-For-Review.Apr 19 2019, 8:20 AM

Change 505186 had a related patch set uploaded (by Umherirrender; owner: Umherirrender):
[mediawiki/extensions@master] Switch vom JADE to Jade

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

Change 505186 merged by Umherirrender:
[mediawiki/extensions@master] Switch vom JADE to Jade