Pull request names

[Vladimir Panteleev]

On Tuesday, 25 March 2014 at 06:45:30 UTC, monarch_dodra wrote:
> On Monday, 24 March 2014 at 17:49:43 UTC, Steven Schveighoffer 
> wrote:
>> If you want to say "fix issue XXX", please repeat the bug 
>> title at least.
>>
>> -Steve
>
> Yeah, that does get on my nerves sometimes too. But I do 
> nothing about it, so I'm not part of the solution. I guess I 
> should now.
>
> Also, when fixing an issue, *please* provide a link to said 
> issue. Searching for "XXX" in the bug repo myself is 
> un-necessary overhead.

Tip: go to Bugzilla, right-click the "Search" field at the top, 
and select "Create search". Assign a keyboard (e.g. "db" for "D 
Bugs"), and then you can go to any issue by typing "db NNNNN" in 
the address bar (or search Bugzilla by entering search terms 
instead of NNNNN).