Le 25/04/2016 17:19, Brion Vibber a écrit : <snip>
More importantly, when folks have repos that they've been running on GitHub already and want to move into the wikimedia project (rather than switch to gerrit), what's the procedure? I'm an admin/owner so I can manually import people's repos but I'm not sure whether I'm supposed to... :)
I don't think there is any. If you are an admin for the 'wikimedia' github organization, you could fork their repository under 'wikimedia/' namespace. That will leave some kind of audit trail and indicate the original repository.
The Jenkins community does that when they incorporate a third party plugin in their ecosystem. An example:
https://github.com/jenkinsci/git-plugin/
Got forked from https://github.com/magnayn/Hudson-GIT-plugin
And can then be community managed.