On Mon, Apr 25, 2016 at 9:19 AM, Brion Vibber <[email protected]> wrote: > There seems to be extremely little documentation on Wikimedia's GitHub > project https://github.com/wikimedia ... I can only find > https://www.mediawiki.org/wiki/Gerrit/GitHub which mostly says we mirror a > bunch of stuff from gerrit. And I know we have continuous integration of > some kind set up for some projects, but it doesn't seem to be well > documented in a place I could find. > > There are also some repos that are mirrors of gerrit, and other repos that > are primary repos, and it's a bit unclear what's what. 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 really brief procedure Timo came up with during the Librarization project is documented on wiki [0] but probably kind of buried in the details about developing new libraries. > We also have a lot of admins, which I wonder is necessary: > https://github.com/orgs/wikimedia/people?utf8=✓&query=role%3Aowner+ > <https://github.com/orgs/wikimedia/people?utf8=%E2%9C%93&query=role%3Aowner+> > Do we do any security review / removal of old accounts, or have a procedure > for adding new admins? Not that I am aware of. Rights there tend to work a lot like getting elevated rights on mediawiki.org: the rights are handed out by existing admins when somebody asks for something that will be easily solved by giving them rights. I think there was some amount of cleanup done a few months ago that got admins to either add 2fa to their github account or be removed. [0]: https://www.mediawiki.org/wiki/Manual:Developing_libraries#Transferring_an_existing_GitHub_repo_to_Wikimedia Bryan -- Bryan Davis Wikimedia Foundation <[email protected]> [[m:User:BDavis_(WMF)]] Sr Software Engineer Boise, ID USA irc: bd808 v:415.839.6885 x6855 _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
