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-uo...@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
_______________________________________________
Wikitech-l mailing list
Wikitech-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikitech-l
