Iirc, but i'm not sure, actually it's not possible to merge pull requests from github :/
Florian -----Ursprüngliche Nachricht----- Von: Strainu [mailto:[email protected]] Gesendet: Freitag, 13. März 2015 19:48 An: [email protected]; Wikimedia developers Betreff: Re: [Wikitech-l] What does it take to have a project hosted on the Wikimedia git server? 2015-03-13 14:27 GMT+02:00 [email protected] <[email protected]>: > WMF git repos are already (automatically) mirrored to github :) See, > e.g. https://github.com/wikimedia/mediawiki-extensions-MobileFrontend > as a mirror of > https://gerrit.wikimedia.org/r/#/admin/projects/mediawiki/extensions/M > obileFrontend (also available on git.wikimedia.org > https://git.wikimedia.org/summary/mediawiki%2Fextensions%2FMobileFront > end ) I knew about those, but I always assumed these are downstream-only (e.g. only pull from Gerrit, but no push). If we could accept pull-requests from github and have them pushed to Gerrit we would basically have the best of both worlds. :) Strainu > > Best, > Florian > > Freundliche Grüße > Florian Schmidt > -----Original-Nachricht----- > Betreff: Re: [Wikitech-l] What does it take to have a project hosted on the > Wikimedia git server? > Datum: Fri, 13 Mar 2015 13:16:06 +0100 > Von: Strainu <[email protected]> > An: Wikimedia developers <[email protected]> > > 2015-03-13 13:53 GMT+02:00 Magnus Manske <[email protected]>: >> Why not github, or bitbucket? > > They're on the list as well, we're exploring all our options. Any > special reason why you'd prefer those over Wikimedia? > > 2015-03-13 13:54 GMT+02:00 Brian Wolff <[email protected]>: >> See https://www.mediawiki.org/wiki/Gerrit/New_repositories >> >> Basically you just have to ask. >> >> I think its a nice thing to keep wiki related code, including bots in >> our git repos as that makes it easier for others to find. > > I am personally a bit worried about the complexity of the process on > gerrit, but I hope that as long as we don't require formal code review > it should be as simple as git pull/git push, right? > > Another related question would be: how hard is it to maintain a github > mirror of a WMF repository? > > Thanks, > Strainu > > _______________________________________________ > Wikitech-l mailing list > [email protected] > https://lists.wikimedia.org/mailman/listinfo/wikitech-l > > > > _______________________________________________ > Wikitech-l mailing list > [email protected] > https://lists.wikimedia.org/mailman/listinfo/wikitech-l _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
