Community
Participate
Working Groups
Is it even possible to move content from one wiki to another with reasonable effort? We need to think about conflicts in page names (e.g. https://wiki.polarsys.org/Architecture conflicts with https://wiki.eclipse.org/Architecture). Is it possible to prefix page names with, e.g. "PolarSys/" as part of the migration. Webmaster, can you estimate the effort required to do an automatic migration? An alternative is that we can keep the PolarSys Wiki running for a while and ask the PolarSys committers to manually move the content that they care about. Am I missing anything important?
Well after a bit of digging it looks like there is some import/export tooling built into Mediawiki. However it looks like it only handles page data, not files so we'll have to do those by hand. I'll put together a test instance and see how it works. -M.
This is now done. I used a combinatino of dumpBackup/Upload and importDump . I've also added some re-directs for wiki.forge.org to point at the main landing pages on the Eclipse wiki. -M.