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