Apache won't allow that.
On Wed, May 28, 2014 at 11:40 AM, Pat Ferrel <pat.fer...@gmail.com> wrote: > Is there really no way to switch to github as the primary and git.wp as a > mirror? Are we doing this integration like Spark? This would do away with > the two local repos problem (and several extra steps), handle the > notifications, and give us a shiny green button :-) This would also make it > easier on contributors who would like to hit the shiny green button but > can’t. > > It looks to me like every dev needs to have two repos locally, why not > change the mirror so there is just one local repo, our own, with the > upstream set to github’s apache/mahout > > To do this committers would have to be granted write access to github > apache/mahout and git.wp would be read only. > > Unless I’m missing something, which is always possible. Has anyone > actually done this yet? Am I wrong about the process? > > On May 27, 2014, at 8:19 PM, Pat Ferrel <pat.fer...@gmail.com> wrote: > > > > > On May 26, 2014, at 12:14 AM, Ted Dunning <ted.dunn...@gmail.com> wrote: > > > > With git you can push or pull to multiple repos. > > Yes, of course. So we are just pulling a branch from our github remote to > our git-wip local then pushing that to git-wip remote. We need two local > repos to do this. And for adding our own code a PR is unnecessary. > > > > > To merge the pull request, you can pull from a specific branch from a > > specific source repo where the pull request came from. Then you push to > > git-wip at apache making sure that the Fixes #... message is on the > merge. > > Then magic intervenes and all is well. > > If the notification comes to @dev that’s clear. > > > > > The nice thing is that most of the commands are visible on the pull > request > > itself. > > > > Notifications about pull requests are via email and now that D has > > oh-so-quickly gotten Jake to enable that we should see those on the dev > > list. My guess is that the easiest path would be to create a JIRA > wrapper, > > do the merge, push, resolve the JIRA all in one quick session. Not quite > > as easy as the green button, but not heinous. > > > > > > > > On Sun, May 25, 2014 at 11:13 AM, Pat Ferrel <p...@occamsmachete.com> > wrote: > > > >> I’m confused about the workflow. > >> > >> It looks like you keep two local repos one pointed to your fork on > github, > >> the other to git-wip-us. Do your work on your repo (set git-wip-us as > >> upstream to get updates) and when you want to merge do “git request-pull > >> branch url-to-git-wip-us". This will package an uber patch from your > repo > >> and communicate with the destination server (I assume). But how do you > >> receive the notification and respond? > >> > >> I’ve never responded to a PR outside of Github, and there was no > >> notification that the PR had been issued outside of the Github UI. > >> > >> On May 25, 2014, at 10:24 AM, Dmitriy Lyubimov <dlie...@gmail.com> > wrote: > >> > >> jeninkins: mahout-nightly seems to be running ok off new git. > >> can't get mahout-quality to run thru still. it was failing in execution > of > >> Jenkins findBugs publishing plugin, i've desabled this plugin for the > time > >> being. Still however couldn't get it run once successfully so far. > >> > >> > >> On Sun, May 25, 2014 at 9:40 AM, Dmitriy Lyubimov <dlie...@gmail.com> > >> wrote: > >> > >>> INFRA-7801 is now complete. all apache-github PR functionality is now > >>> enabled. > >>> > >>> note that (as far as i understand) cannot merge PRs directly into > github > >>> mirror (since it is a mirror and thus read-only). We will have to merge > >> PRs > >>> into git-wip-us as described here [2] "merging locally" and here [3] > >>> > >>> Note that [3] also applicable to github PR #. I.e. when we merge, it is > >>> enough just to metnion "fixes #<PR>" to close the PR on the mirror as > >> well. > >>> > >>> If we don't want to merge a PR ("won't fix resolution") we'd have to > just > >>> close it on github (I think one has to be a part of "apache" > organization > >>> in github, i suggest to request membership for those who haven't yet > done > >>> so). > >>> > >>> Suggested reading > >>> [1] https://help.github.com/articles/using-pull-requests Some people > >>> asked how to create github pull requests > >>> [2] https://help.github.com/articles/merging-a-pull-request see > "merging > >>> locally" > >>> [3] > https://help.github.com/articles/closing-issues-via-commit-messagescommit > >>> messages > >>> > >>> > >>> On Fri, May 23, 2014 at 12:31 PM, Dmitriy Lyubimov <dlie...@gmail.com > >>> wrote: > >>> > >>>> Asking INFRA to enable related github integration features, filed > >>>> as INFRA-7801 > >>>> > >>>> > >>>> On Fri, May 23, 2014 at 10:42 AM, Dmitriy Lyubimov <dlie...@gmail.com > >>> wrote: > >>>> > >>>>> Aha! apache/mahout github mirror is up! > >>>>> > >>>>> let me try and see if i can do and manage a PR there. > >>>>> > >>>>> I guess i will still need to file another infra Jira for > jira/mailing > >>>>> list integration features ( we already voted for that in bulk). > >>>>> > >>>>> > >>>>> On Thu, May 22, 2014 at 10:14 AM, Dmitriy Lyubimov < > dlie...@gmail.com > >>> wrote: > >>>>> > >>>>>> Hi, > >>>>>> > >>>>>> (1) git migration of the project is now complete. Any volunteers to > >>>>>> verify per INFRA-7777? If you do, please report back to the issue. > >>>>>> > >>>>>> (2) Anybody knows what to do with jenkins now? i still don't have > >>>>>> proper privileges on it. thanks. > >>>>>> > >>>>>> > >>>>>> > >>>>>> [1] https://issues.apache.org/jira/browse/INFRA-7777 > >>>>>> > >>>>> > >>>>> > >>>> > >>> > >> > >> > > > >