We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
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
Search by date:
is:pr is:merged merged:>2019-05-09
Search all failing pull request which are still open:
is:pr is:open status:failure
See https://help.github.com/articles/searching-issues/ and https://docs.github.com/en/github/searching-for-information-on-github/searching-issues-and-pull-requests#search-by-commit-status for more information how to search.