The fact that mediawiki's repository is named "mediawiki-core" doesn't make sense to me. The chief benefit provided by GitHub is its popularity and visibility. We don't manage our code review or release process in GitHub anyway, so I see no reason not to give the most weight to aesthetic / populistic considerations. Let's make it github.com/wikimedia/mediawiki. Visibility helps!
-- Ori Livneh ori@wikimedia.org