Ha, I've just been discussing this with Chad this week and I was going to file a bug.

I think there are three things that need to be done at about the same time:

• Renaming or copying the actual repository, and hooking it up as a submodule in mediawiki/skins
• Ensuring Nostalgia will work when placed in skins/ rather than extensions/
• Adjusting WMF config for the changes above

Also:

• Merging [[mw:Extension:Nostalgia]] into [[mw:Skin:Nostalgia]].

(In reply to Bartosz Dziewoński from comment #1)

• Renaming or copying the actual repository

It needs to be copied, in fact, otherwise older wmf versions will break. I requested the repository to be created.

(In reply to Bartosz Dziewoński from comment #1)

• Renaming or copying the actual repository, and hooking it up as a submodule in mediawiki/skins

This has been done by Chris. I'm writing the patches to do the rest right now.

Change 137198 had a related patch set uploaded by Bartosz Dziewoński:
Adjust 'remoteBasePath' to the skins/ directory

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

Change 137200 had a related patch set uploaded by Bartosz Dziewoński:
Replace the Nostalgia extension with the Nostalgia skin

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

Change 137203 had a related patch set uploaded by Bartosz Dziewoński:
Add Nostalgia to $branchedSkins

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

This should do. I'll get someone who knows what they're doing to check these.

TODO undeploy mediawiki/extensions/Nostalgia when we can do it safely.

Change 137203 merged by jenkins-bot:
Add Nostalgia to $branchedSkins

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

Change 137198 merged by Chad:
Adjust 'remoteBasePath' to the skins/ directory

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

Change 137672 had a related patch set uploaded by Bartosz Dziewoński:
Add Nostalgia to $branchedSkins

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

Change 137672 merged by jenkins-bot:
Add Nostalgia to $branchedSkins

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

Change 137200 merged by jenkins-bot:
Replace the Nostalgia extension with the Nostalgia skin

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

(In reply to Bartosz Dziewoński from comment #1)

• Ensuring Nostalgia will work when placed in skins/ rather than extensions/
• Adjusting WMF config for the changes above

Done and done with the patches above.

Left to do:

• Update docs on mw.org
• Empty the old repo, leaving just a pointer to the new repo (when possible, we'll need to wait for WMF deployment to roll out).

With https://gerrit.wikimedia.org/r/#/c/144002/ , WMF deployment is no longer using the Nostalgia extension, only the skin.

Docs updated, see [[mw:Skin:Nostalgia]].

Change 144988 had a related patch set uploaded by Bartosz Dziewoński:
Remove everything except for short information in README and Nostalgia.php

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

Change 144988 merged by jenkins-bot:
Remove everything except for short information in README and Nostalgia.php

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

All done!