Pull requests processing issue

[Piotr Szturmaj]

Don Clugston wrote:
> One problem is github. IMHO github's pull requests are quite ridiculous,
> there is no way to prioritize them.

There are issue labels, for example: 
https://github.com/bitcoin/bitcoin/issues?labels=Priority+Medium&sort=created&direction=desc&state=open&page=1

Some of them are pull requests. I wonder if it's possible to enable 
issues tab for pulls only.