On Mon, Apr 25, 2016 at 8:19 AM, Brion Vibber <[email protected]> wrote: > 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... :)
The method we have been using is via 'transfer ownership' in the original repo settings. I believe moving the repo to the wikimedia org requires owner permissions, so for repos owned by non-owners this might require two transfers: One to an owner, then from owner to the org. _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
