On 3/24/2014 12:47 PM, Andrej Mitrovic wrote:
On 3/24/14, Steven Schveighoffer <[email protected]> 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.