Skip to content
tfr42 edited this page Mar 20, 2015 · 6 revisions

Search for all merged pull requests for 3.4 (started at 2013-05-29) without milestone:

is:pr is:merged no:milestone created:>2013-05-29 

Search for all merged pull requests for 3.4 without label:

is:pr is:merged no:label milestone:3.4 

See https://help.github.com/articles/searching-issues/ for more information how to search.

Clone this wiki locally