Steps to reproduce
There are no steps since this is not a bug report.
Repos need to have the same name as the mirror.
For example
extension-MobileFrontend
Should be mediawiki-extensions-MobileFrontend
See https://phabricator.wikimedia.org/diffusion/EMFR/manage/ and name colum.
And GitHub mirror https://github.com/wikimedia/mediawiki-extensions-MobileFrontend
This is required for https://phabricator.wikimedia.org/D233
Guess we should make a mass change for that, changing that manually is a lot of work. Last time @demon did changes "via console".
I'm not sure why some of the names were changed during the initial import into phabricator, however, I believe that it's no longer necessary for the name to match between github and phabricator.
It would be nice, for consistency sake but it's not causing any real problems.
The "names" don't matter all that much other than aesthetics, but the clone paths do need to be adjusted to all be consistent.
it's slightly more than just aesthetics since inconsistency = confusion = loss of productivity but it's not high priority as noted by setting priority = low