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.
