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]
