Pull request names

[Walter Bright]

On 3/24/2014 12:47 PM, Andrej Mitrovic wrote:
> On 3/24/14, Steven Schveighoffer <schveiguy at yahoo.com> wrote:
>> To all who are generating pull requests.
>
> I keep saying the same thing to pull makers. When I'm not too busy I
> also rename their pull request to add the title description.
>
> Another thing I keep mentioning is to add a link to the bugzilla issue
> in the pull request.
>

Yes, indeed. I think it's just polite to include a link to the bugzilla issue as 
well as a link in the bugzilla issue back to the PR.