Pull request names

[Jakob Ovrum]

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.

Though I agree with everything you said, it is possible to 
"watch" a repository without receiving email notifications, for 
those who are fine with just the web interface's notification 
system.