On Tue, Nov 13, 2012 at 9:39 PM, Ori Livneh <ori(a)wikimedia.org> wrote:
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!
This is not possible. Repos are the same name on the source
and destination.
-Chad