I'd be good with removing the "Merge pull request" line too, or making it
more succinct like Prashant showed.


On Mon, Feb 10, 2014 at 9:43 AM, Henry Saputra <notifications@github.com>wrote:

> In dev/merge_spark_pr.py:
>
> > @@ -96,8 +96,8 @@ def merge_pr(pr_num, target_ref):
> >    commits = run_cmd(['git', 'log', 'HEAD..%s' % pr_branch_name,
> >      '--pretty=format:%h [%an] %s']).split("\n\n")
> >
> > -  merge_message = "Merge pull request #%s from %s.\n\n%s\n\n%s" % (
> > -    pr_num, pr_repo_desc, title, body)
> > +  merge_message = "%s\n\n%s\n\nMerge pull request #%s from %s." % (
>
> +1
>
> As long as the commit comment reflects the original/ actual author of the
> commit we should be good.
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/apache/incubator-spark/pull/574/files#r9593479>
> .
>