Page MenuHomePhabricator

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

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.

Event Timeline

Harej created this task.Apr 16 2019, 12:26 AM
Harej triaged this task as High priority.
Harej moved this task from Untriaged to Ready to go on the Scoring-platform-team board.

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

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

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

Change 505184 merged by jenkins-bot:
[translatewiki@master] [Jade] Switch vom JADE to Jade

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