How can I search GitHub pull requests?

Question

I'm currently viewing a popular GitHub repo. Inside there are over 300 pull requests (100 open, 200 closed).

How can I search these pull requests to see if a particular topic already exists within them?

i.e. I don't want to create some code and submit a pull request if someone has already done a similar pull.

---

Edit: Alternatively - since I know what file(s) I plan on changing - is it possible to view a specific file on GitHub, and say "Hey. Are there any outstanding pull requests that relate to this specific file?".

---

Update: GitHub now offers this easily - when browsing a repository the search bar at the top offers to search only the select repo - which makes it much easier to search for what you need.

Answer 1

I add these informations if it can help someone who finds this discussion via a search engine. You can use GitHub filters.

Search all pull requests: is:pr

Search all open pull requests: is:pr is:open

Search all open pull requests by user: is:pr is:open author:username

Search all open pull requests commented by user: is:pr is:open commenter:username

I did not see the commenter filter documented somewhere or available in the advanced search, I just found it by guessing and it worked.

If you want to search all pull requests talking about a specific feature, you can just add the keyword to the search.

Answer 2

Github repo activity search is now very well documented.

e.g. github commenter:defunkt type:issue

Answer 3

Update

Now, the main search bar is used for all searches. You can filter by code/repos/issues/etc on the left. To see pull requests, click the Issues filter.

Answer 4

You can find this search form on Issues tab: