Please don't use Github PL merge functionality. This will create merge
commits... and I seriously dislike merge commits, hate them, actually.
--
Regards,
Igor
On 2014-05-24, 12:39, Jason van Zyl wrote:
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
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@maven.apache.org
For additional commands, e-mail: dev-h...@maven.apache.org
