On Mon, Apr 25, 2016 at 8:19 AM, Brion Vibber bvibber@wikimedia.org 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.