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

[Andrei Alexandrescu via Digitalmars-d]

I was looking for the PR that changed iota.length and it took me longer 
than it could have. I googled for

iota length dlang

and among the top results I found the changelog PR: 
https://github.com/dlang/phobos/pull/4220, but it was through 
indirections via mail-archive.com. Same goes about the actual result 
(https://github.com/dlang/phobos/pull/4013) which was further down the 
page.

Are there any shortcuts? It would help a lot if one could search 
github.com repos for PR titles, is that possible?


Thanks,

Andrei