https://bugzilla.wikimedia.org/show_bug.cgi?id=35429
Krinkle <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #5 from Krinkle <[email protected]> 2012-03-29 03:59:20 UTC --- I don't know who set up the 'mediawiki' account on github but afaik 'wikimedia' is the official account. Also note that this is the account name, not the repository name. The repository name should obviously be 'mediawiki'. I suppose we migrate what's currently at https://github.com/wikimedia to Gerrit (or nuke it if it's no longer needed). And then mirror all public wikimedia git repo's hosted in gerrit at github (one-way push). Maybe doing str_replace( '/', '-' ) on the repo names for github. e.g. wikimedia/mediawiki-core.git wikimedia/mediawiki-extensions-Gadgets.git -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug. You are on the CC list for the bug. _______________________________________________ Wikibugs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
