Technical communications/Dev wiki consolidation

This is related to Requests for comment/Wikitech contributors. The pages should probably be merged at some point, but for the moment I'm using this one for brain-dumping.

Issue

 * fragmentation of venues for contribution
 * fragmentation of documentation
 * awkward content living where it doesn't really belong

Proposed solution

 * 1 wiki for promoting and supporting MediaWiki software and its API to sysadmins, developers and end users.
 * 1 wiki for promoting and coordinating the open source development of MediaWiki based software projects and Wikimedia technical initiatives.

Many free software projects offer two venues like this; it's not unusual for the "official website" to be about documentation, support and promotion, and for the open development (issue tracking, feature design and RfCs, "internal" project documentation) to happen somewhere else (like SourceForge or more recently GitHub, or a  subdomain).

This distinction actually already appears in our own mailing lists:  is for MediaWiki users and support, and   discusses "technical organization of the Wikimedia projects (i.e.: MediaWiki development and Wikimedia operations).

What belongs where
To get an idea, this is how the big groups of content would be distributed:

mediawiki.org

 * MediaWiki downloading, installing, configuring, upgrading, release notes...
 * Catalog of extensions.
 * Help and Support desk.
 * Sites using MediaWiki, hosting, vendors...
 * Sysadmin hub.
 * User hub, what is a wiki, how to edit a page...
 * Developer hub, API, reference docs, howtos, tutorials...

wikitech.wikimedia.org

 * Developer access, request repository, submit a patch, code review docs...
 * Hackathons, QA weekly goals, dev trainings, tech talks, dev meetups...
 * Wikimedia Engineering and non-WMF projects, teams, status, reports, RFC...
 * Mentorship programs, Google Summer of Code, Outreach Program for Women...

Plus what is already there:
 * Labs
 * DevOps

Advantages and risks
Advantages:
 * 1 wiki for all technical contributions in the Wikimedia universe: development of MediaWiki and extensions, Wikimedia operations, Bots, Labs, etc.
 * As a corollary: More integration and collaboration between members of the tech community: developers, Operations people, bot owners and maintainers, etc.
 * Also a corollary: A single entry point for all volunteers interested in joining the community.
 * No more content on mediawiki.org that's not related to MediaWiki (mostly: Wikimedia engineering project documentation)
 * Wikitech has some nifty tools like Semantic Forms that would be super useful for volunteer involvement and project documentation and replace clunky and complicated systems currently based on LST transclusion and fragile templates.
 * Through its previous merge with Labsconsole, Wikitech is now integrated with Wikimedia Labs, and therefore Gerrit. This would greatly simplify identity and credentials management for developers.

Risks:
 * Appearance of the WMF moving to their own wiki and segregating itself from volunteer developers.
 * That won't happen if the whole community of developers (paid or unpaid) agrees to make wikitech their new home.
 * Fragmentation of MediaWiki documentation: some pages are useful to both end-users and developers.
 * How many of those pages are there? Most of the documentation should already be on https://doc.wikimedia.org, and the rest can probably be split according to their audience.
 * There will be a temporary disruption as people change their habits.
 * Change brings disruption; it can't be avoided, but it can be planned carefully and minimized.
 * As long as we support interwiki redirects (i.e., allowing #REDIRECT foo to work automatically, there's a setting for this somewhere), I think it should be fine. However, broadly I think we should either have a bright line rule about the two wikis or fucking merge them. The current distinction is pretty painful and only getting worse.

Steps

 * Discuss at length to plan everything, classify the content and determine what goes where
 * Move development-related pages to wikitech
 * Move all Wikimedia engineering content to wikitech
 * Clean up and organize the wikis, and cross-link where appropriate (like the main pages & sidebars)
 * Merge usability wiki into wikitech (p-p-p-pleaaaase)