something not complicated which is convenient with pr git clone https://github.com/apache/maven-plugins.git
now you have to setup git-svn (see the script here: https://gist.github.com/olamy/836acac9a113c7830918) Now setup you git config to have all pr as branch in .git/config add the last line [remote "origin"] url = https://github.com/apache/maven-plugins.git fetch = +refs/heads/*:refs/remotes/origin/* fetch = +refs/pull/*/head:refs/remotes/origin/pr/* then git fetch origin now you can checkout locally all pr as a branch git checkout pr/52 test etc.... (maybe commit some modification in the pr/branch) git checkout trunk (back to trunk) merge the pr: git merge pr/52 now commit to svn: git svn dcommit On 29 May 2015 at 17:27, Dennis Lundberg <denn...@apache.org> 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: dev-unsubscr...@maven.apache.org > For additional commands, e-mail: dev-h...@maven.apache.org > > -- Olivier Lamy http://twitter.com/olamy | http://linkedin.com/in/olamy
