Thanks Olivier, I found something similar here: https://wiki.apache.org/general/GitAtApache
But those instructions doesn't include the clever handling of pr-branches that you suggested. On Fri, May 29, 2015 at 1:49 PM, Olivier Lamy <[email protected]> wrote: > 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 <[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] >> >> > > > -- > Olivier Lamy > http://twitter.com/olamy | http://linkedin.com/in/olamy -- Dennis Lundberg --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
