Why not just delete the old ptwikimedia site and put the new one in its place, using the same dbname?

The old wiki is inaccessible, since pt.wikimedia.org redirects offsite, so it's unclear if the old DB even needs to be preserved. And presumably any configuration bits that refer to ptwikimedia will still be relevant to the new site.

If for some reason that is not feasible, I guess pt2wikimedia is acceptable, though only as a last resort. As I've said before, there really needs to be a better way to rename wikis without wasting hours of everyone's time...

TTO

-- "Alex Monk" wrote in message news:CALMPGzX_E4ML0xD2A_2vTRZ+2a+nWtpC9KkJe58x=mdG-uOxEQ@mail.gmail.com...

Hi all,

A request has come up (https://phabricator.wikimedia.org/T126832) to re-create pt.wikimedia.org on the wikimedia cluster. Unfortunately it was previously hosted there and so the 'ptwikimedia' database name is already taken. Since database renaming does not really appear to be an option, does anyone have any objections to using 'pt2wikimedia' (or similar, suggestions welcome) instead for the new wiki? I know this doesn't fit the existing pattern so I'm unsure about just going ahead without asking for input from a wider audience.

Alex _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l