Page MenuHomePhabricator

Rename private "ombudsmenwiki" to "ombudswiki" and change the logo
Closed, ResolvedPublic

Description

Hello,

Since the Ombudsmen Commission has been renamed to "Ombuds Commission" (see T256299), please rename the ombudsmenwiki (https://ombudsmen.wikimedia.org/) to "ombudswiki" (https://ombuds.wikimedia.org).
Please also replace the current logo with the new one.

Thanks in advance
Regards

Event Timeline

Reedy edited projects, added Wiki-Setup (Rename); removed Wikimedia-Site-requests.
Reedy added a subscriber: Reedy.

Renaming wikis is hard.

Doing the logo, $wgSitename etc is easy and should be trivially doable. Changing the subdomain is definitely more work

Renaming wikis is hard.

Doing the logo, $wgSitename etc is easy and should be trivially doable. Changing the subdomain is definitely more work

Yes, I imagined it was not an easy thing! I was looking at T41482, even if it is an old task, to understand the difficulty. If it's really very complicated, I personally have no problem giving it up. Surely the logo and $wgSitename can be changed :)

We can definitely change the logo and sitename for you. Just need to know the logos :-).

We can definitely change the logo and sitename for you. Just need to know the logos :-).

It's linked in the description ;)

https://commons.wikimedia.org/wiki/File:Wikimedia_Ombuds_logo.svg

Missed that, thanks @Reedy. Let's upload a patch then :).

Change 660000 had a related patch set uploaded (by Urbanecm; owner: Urbanecm):
[operations/mediawiki-config@master] Update ombudsmenwiki logo

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

Change 660002 had a related patch set uploaded (by Urbanecm; owner: Urbanecm):
[operations/mediawiki-config@master] ombudsmenwiki: Set sitename to "Ombuds Commission"

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

Urbanecm triaged this task as Medium priority.

Change 660002 merged by jenkins-bot:
[operations/mediawiki-config@master] ombudsmenwiki: Set sitename to "Ombuds Commission"

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

Change 660000 merged by jenkins-bot:
[operations/mediawiki-config@master] Update ombudsmenwiki logo

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

Mentioned in SAL (#wikimedia-operations) [2021-02-01T12:38:35Z] <urbanecm@deploy1001> Synchronized wmf-config/InitialiseSettings.php: cf349361b392f1831fe5ebce8fb544b035a83835: ombudsmenwiki: Set sitename to "Ombuds Commission" (T273323) (duration: 01m 06s)

Done for the change of logo/sitename. Declined for the actual rename, since it's not possible ATM.

Thank you very much :)

Have a nice day!

Done for the change of logo/sitename. Declined for the actual rename, since it's not possible ATM.

Declined for the actual rename, since it's not possible ATM.

This sort of rename is probably doable, it's no different from the chapcom/affcom one