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. -- Antoine "hashar" Musso _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
