Pull request names

[Vladimir Panteleev]

On Tuesday, 25 March 2014 at 08:38:32 UTC, Rikki Cattermole wrote:
> On Monday, 24 March 2014 at 17:49:43 UTC, Steven Schveighoffer 
> wrote:
>> To all who are generating pull requests:
>>
>> I get emails for every pull request message that is posted, as 
>> do anyone who is subscribed to the github project.
>>
>> A recent message in my email:
>>
>>
>>
>> Re: [phobos] Fix issue 12419 (#2038)
>>
>> @monarchdodra Good point, done.
>>
>> -
>> Reply to this email directly or view it on GitHub.
>>
>>
>>
>>
>> The "view it on Github" is a link to the message. So I can see 
>> what this is about. But it would be nice if the pull request 
>> title was more descriptive. I don't know what issue 12419 is.
>>
>> Please note, I am not complaining about the volume of pull 
>> request chatter, this is great! But the title of the pull 
>> request should describe what it logically is without having to 
>> click through to a bug report or read everything about the 
>> pull request.
>>
>> If you want to say "fix issue XXX", please repeat the bug 
>> title at least.
>>
>> -Steve
>
> I wonder if we can get github to add support to linking our 
> bugzilla tickets against #<num> like they do with the built in 
> tracker. Unless it already has it?

I made this userscript a few years ago, when D development was 
moved to GitHub:

http://dump.thecybershadow.net/b7d2e2759116df7a83ee2f4678856a1e/dbuglinks.user.js

It acts on the "issue NNNN" pattern, because the "#NNNN" pattern 
is already used by GitHub to link to its issues / pull requests.