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] > >
