workflow is: contributor branch@github and submitts PR to --> Apache GitHub mirror --> committer merges PR in clone @ local and push to --> git-wip-us.apache.org --> changes are synced to Apache GitHub mirror with all side-effects (issue/PR closed) because of comment in merge commit message
On Fri, May 29, 2015 at 11:00 AM, Dennis Lundberg <[email protected]> wrote: > Thanks Stevo, > > Interesting read for me that is less than fluent in git. In this case > I unfortunatelly cannot use those instructions as maven-plugins does > not have a git repo at Apache. It is versioned in svn and is probably > using some svn->git mirroring software to end up on the GitHub mirror > at > https://github.com/apache/maven-plugins > > Do you know if the Apache GitHub repo is read-only? Would it be > possible to merge the PR at GitHub and get that commit propagated back > to our canonical svn repo? > > If I understand your instructions correctly the modifications goes > something like this: > contributor branch@github --> git-wip-us.apache.org --> Apache GitHub > mirror > > What I think that I need is this: > contributor branch@github --> Apache GitHub mirror --> svn.apache.org > > > On Fri, May 29, 2015 at 9:38 AM, Stevo Slavić <[email protected]> wrote: > > On Apache Mahout project we have nice docs on the workflow to merge or > > reject PRs submitted to github mirror. Maybe it works for you too. > > > > Kind regards, > > Stevo Slavic. > > > > On Fri, May 29, 2015 at 9:27 AM, Dennis Lundberg <[email protected]> > wrote: > > > >> Hi > >> > >> I'm going through the issue list in JIRA for maven-pmd-plugin and want > >> to apply some patches that have been submitted as pull requests to our > >> GitHub mirror. But I cannot find a way to merge the pull requests. On > >> the page of the pull request it says: > >> > >> This pull request can be automatically merged by project > collaborators. > >> Only those with write access to this repository can merge pull > requests. > >> > >> Am I missing some permissions or am I just lacking Git(Hub) knowledge? > >> My github id is dennisl. Here is an example: > >> https://github.com/apache/maven-plugins/pull/48 > >> > >> -- > >> Dennis Lundberg > >> > >> --------------------------------------------------------------------- > >> To unsubscribe, e-mail: [email protected] > >> For additional commands, e-mail: [email protected] > >> > >> > > > > -- > Dennis Lundberg > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > >
