Menu
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.
763
Open TerminalTerminalGit Bash. Fetch the reference to the pull request based on its ID number, creating a new branch in the process. At this point, you can do anything you want with this branch. You can run some local tests, or merge other branches into the branch.
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.
82
You can find this search form on Issues tab:
8
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.
4
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With
