Re: [gentoo-dev] Re: devmanual moved to github

["W. Trevor King" <wking@tremily.us>]

[-- Attachment #1: Type: text/plain, Size: 1243 bytes --]

On Mon, May 13, 2013 at 12:24:09AM +0200, Alexander Berntsen wrote:
> On 13/05/13 00:21, Peter Stuge wrote:
> > There is no problem if github is only used for hosting, but if it
> > is the primary point of contact, or if pull requests are accepted,
> > then github is also writing to repositories, and merge commits are
> >  enforced for all external contributions. That does not scale at
> > all.
>
> Users can still send patches via email even if the project is hosted on
> GitHub. And for the record I have not had problems with messy merges
> when commiting pull requests.

You can also merge pull requests locally and format them however you
like (including fast forward merges).  GitHub automatically closes the
PR when it's tip commit lands in the target branch.

My major gripe with PRs is folks sometimes add lots of good details to
the PR summary, and then have little one-line commit messages :p.  If
you can convince them to incorperate motivation, etc., in the commit
messages, than the fact that code came in via a PR is irrelevant.

Cheers,
Trevor

-- 
This email may be signed or encrypted with GnuPG (http://www.gnupg.org).
For more information, see http://en.wikipedia.org/wiki/Pretty_Good_Privacy

[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 836 bytes --]