[OT] google- and github-fu: how to search for a specific PR?

[Vladimir Panteleev via Digitalmars-d]

On Saturday, 1 October 2016 at 12:33:14 UTC, Andrei Alexandrescu 
wrote:
> Are there any shortcuts?

Since the other answers have the fish, so I'll throw in (another) 
fishing rod:

1. Use `git blame` to find the commit you wish to find the PR of. 
(Since you use Emacs, magit's magit-blame is fantastic as always).

2. Concatenate "https://github.com/dlang/phobos/commit/" and the 
commit SHA1 to get the GitHub commit URL.

3. Click the pull request number below the commit message:
https://dump.thecybershadow.net/9c86005610bf869873385d7ca6a76ee6/23%3A10%3A46-upload.png