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.

Regarding your edit: Are there any outstanding pull requests that relate to this specific file, see http://stackoverflow.com/a/26377055/6309 — VonC, Oct 15 '14 at 07:44

score 10 · Accepted Answer · answered May 29 '14 at 14:59

10

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.

search image

answered May 29 '14 at 14:59

Josh Click

2,273
1
15
11

score 8 · Answer 2 · edited Jul 24 '13 at 22:33

8

You can find this search form on Issues tab:

edited Jul 24 '13 at 22:33

adrianbanks

81,306
22
176
206

answered Dec 16 '12 at 13:33

Vasiliy Ermolovich

24,459
5
79
77

3

It searches for both issues and pull request. And I think you can't find a pull request fir a specific file, sorry. – Vasiliy Ermolovich Dec 16 '12 at 13:37
thanks! (I deleted my previous comment when I realised you are correct) – Laurence Dec 16 '12 at 13:37

baptx · Answer 3 · 2017-12-13T12:02:51.843

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.

score 3 · Answer 4 · answered Jan 23 '15 at 01:14

3

Github repo activity search is now very well documented.

e.g. github commenter:defunkt type:issue

answered Jan 23 '15 at 01:14

New Alexandria

6,951
4
57
77

How can I search GitHub pull requests?

4 Answers4

Update