maven-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Benson Margulies <bimargul...@gmail.com>
Subject Re: Processing Pull Request
Date Mon, 26 May 2014 04:32:37 GMT
You add special comments to a commit to close a PR. I only have my phone I
can't supply details.
On May 25, 2014 6:04 PM, "Michael Osipov" <mosipov@gmx.de> wrote:

> Hi,
>
> does it take special permissions on Github to process pull requests?
>
> Neither am I allowed to perform the merge from the website directly, nor
> does it display the command line steps as described in the GH help. Close
> is not available to me too.
>
> I simply pulled (PL 14) into my local repo and then pushed, asfgit
> processed but the PL is still on "merged" but not closed.
>
> Is there any writeup how a PL should happen in the project?
> Maven Git Convention [1] does not provide any valueable information.
>
> Michael
>
> [1] http://maven.apache.org/developers/conventions/git.html
>
> ---------------------------------------------------------------------
> 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