February 18, 2015    

Nice, @gmail recognizes @github pull request emails and gives a quick link.

@williballenthin