The mechanics of processing PRs from repos we have access to is all good. But the Apache repos on Github I'm not sure who actually owns them, I assume ASF infra. For any moderately sized PR I add the PR as a remote and process it locally. But for simple patches I really would just like to hit the merge button. Our current setup doesn't allow this which is sub-optimal. On May 24, 2014, at 11:09 AM, Alexander Kriegisch <alexan...@kriegisch.name> wrote:
> Does this help? > https://help.github.com/articles/using-pull-requests > -- > Alexander Kriegisch > > >> Am 24.05.2014 um 16:07 schrieb Jason van Zyl <ja...@takari.io>: >> >> Yes, I'm interested as well. >> >>> On May 24, 2014, at 9:33 AM, Michael Osipov <micha...@apache.org> 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 >>> >> >> Thanks, >> >> Jason >> >> ---------------------------------------------------------- >> Jason van Zyl >> Founder, Apache Maven >> http://twitter.com/jvanzyl >> http://twitter.com/takari_io >> --------------------------------------------------------- >> >> To do two things at once is to do neither. >> >> -- Publilius Syrus, Roman slave, first century B.C. >> >> >> >> >> >> >> >> >> > > --------------------------------------------------------------------- > To unsubscribe, e-mail: dev-unsubscr...@maven.apache.org > For additional commands, e-mail: dev-h...@maven.apache.org > Thanks, Jason ---------------------------------------------------------- Jason van Zyl Founder, Apache Maven http://twitter.com/jvanzyl http://twitter.com/takari_io --------------------------------------------------------- There's no sense in being precise when you don't even know what you're talking about. -- John von Neumann