maven-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Stevo Slavić <ssla...@gmail.com>
Subject Re: How do I merge pull request on GitHub?
Date Fri, 29 May 2015 07:38:50 GMT
https://mahout.apache.org/developers/github.html

On Fri, May 29, 2015 at 9:38 AM, Stevo Slavić <sslavic@gmail.com> 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 <dennisl@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-unsubscribe@maven.apache.org
>> For additional commands, e-mail: dev-help@maven.apache.org
>>
>>
>

Mime
  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message