Bryan,
I think that would work, except the last step, which probably should be
push origin refs/for/master
unless granted special permission to be able to push directly to master
(not a regular user). I know some bots have it.
Bernd
On Fri, Mar 13, 2015 at 4:01 PM, Corey Floyd <cfloyd(a)wikimedia.org> wrote:
I was researching this the past week for the iOS team.
I found this for
replicating pull requests as patch sets on gerrit:
https://gerrit.googlesource.com/plugins/github/
I am going to see if its possible we can get this plugin installed on our
gerrit - may help out with this.
On Fri, Mar 13, 2015 at 4:33 PM, Brian Wolff <bawolff(a)gmail.com> wrote:
Yuvi used to have a bot i thought...
--bawolff
On Mar 13, 2015 4:10 PM, "Florian Schmidt" <
florian.schmidt.welzow(a)t-online.de> wrote:
>
> Iirc, but i'm not sure, actually it's not possible to merge pull
requests
from github :/
Florian
-----Ursprüngliche Nachricht-----
Von: Strainu [mailto:strainu10@gmail.com]
Gesendet: Freitag, 13. März 2015 19:48
An: florian.schmidt.welzow(a)t-online.de; 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 florian.schmidt.welzow(a)t-online.de
> <florian.schmidt.welzow(a)t-online.de>de>:
> > 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 <strainu10(a)gmail.com>
> > An: Wikimedia developers <wikitech-l(a)lists.wikimedia.org>
> >
> > 2015-03-13 13:53 GMT+02:00 Magnus Manske <
magnusmanske(a)googlemail.com
>:
> >> 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 <bawolff(a)gmail.com>om>:
> >> 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
Wikitech-l(a)lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikitech-l
_______________________________________________
Wikitech-l mailing list
Wikitech-l(a)lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikitech-l
_______________________________________________
Wikitech-l mailing list
Wikitech-l(a)lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikitech-l
_______________________________________________
Wikitech-l mailing list
Wikitech-l(a)lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikitech-l
--
Corey Floyd
Software Engineer
Mobile Apps / iOS
Wikimedia Foundation
_______________________________________________
Wikitech-l mailing list
Wikitech-l(a)lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikitech-l