[PATCH 5 of 6] email: remove user and add relevant title to subject of emails

[Mads Kiilerich]

On 09/01/2015 06:28 PM, Thomas De Schampheleire wrote:
> # HG changeset patch
> # User Thomas De Schampheleire <thomas.de.schampheleire at gmail.com>
> # Date 1436473046 -7200
> #      Thu Jul 09 22:17:26 2015 +0200
> # Node ID 63dd90a5345e35b914a4f3842d4838e98fc7fdbc
> # Parent  3ca9738eb4f87f38b99404a1eda22fb889e2d0d9
> email: remove user and add relevant title to subject of emails

I pushed some of the earlier patches and the user part of this patch.

I am not completely hooked on the PR title-in-subject part. One reason 
being that it will break threading in stupid gmail every time the PR 
title is edited. Put perhaps ...

/Mads