On Mon, Apr 25, 2016 at 8:20 AM Brion Vibber <bvib...@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... :) > > Honestly, I'm not entirely convinced that "mirror everything" is all that useful. It mostly results in a ton of unused repos cluttering up lists. Not opposed to mirroring, but I'm wondering if we can be more selective. -Chad _______________________________________________ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l