Page MenuHomePhabricator

Rename/move mediawiki/skins/MinervaNeue to mediawiki/skins/Minerva
Closed, DeclinedPublic


In preparation from splitting the Minerva skin outside MobileFrontend I will need to rename/move the existing MinervaNeue repo into Minerva.

Can someone help?
Thanks in advance.


  • Create Minerva repository
  • Setup CI for Minerva repository. It's going to need to run browser tests and the npm test and will need MobileFrontend as a dependency.

Event Timeline

Jdlrobson created this task.May 3 2017, 5:52 PM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptMay 3 2017, 5:52 PM
Jdlrobson updated the task description. (Show Details)May 3 2017, 7:15 PM
Jdlrobson closed this task as Declined.May 3 2017, 10:34 PM

Actually I can make do with the MinervaNeue repository.

Jdlrobson reopened this task as Open.May 3 2017, 10:37 PM

... but it would also be helpful. Gonna keep my options open and reopen this :)

I can rename the repo. Do you still want that?

If we rename, will I need to update every reference to it in CI, or is there such thing as a Gerrit alias?

I fear I've made too many chances at this point to rename it but I'd love to hear otherwise!

Jdlrobson closed this task as Declined.Jun 30 2017, 6:33 PM

Not going to do it. Seems mirroring / renaming is not possible and it doesn't really matter.