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" <mosi...@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-unsubscr...@maven.apache.org > For additional commands, e-mail: dev-h...@maven.apache.org > >
