On Mon, Apr 25, 2016 at 9:19 AM, Brion Vibber bvibber@wikimedia.org 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=%E2%9C%93&query=role%3Aown... 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_e...
Bryan