Thread:Talk:Technical communications/Dev wiki consolidation/docs.wikimedia.org/reply (3)

MediaWiki core docs should be under mediawiki.org. Puppet docs should be under wikimedia.org. VisualEditor docs should probably be under wikimedia.org as well, at least for now.