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.
The following queries can be used on github to search for pull requests: https://github.com/deegree/deegree3/pulls.
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
is:pr is:merged merged:2021-01-09..2021-08-14
Search all failing pull request which are still open:
is:pr is:open status:failure
Search in comments:
is:pr is:open in:comments not ready
Search within the organisation:
org:deegree is:pr is:merged merged:>=2023-05-01
example: https://github.com/search?q=org%3Adeegree+is%3Apr+is%3Amerged+merged%3A%3E%3D2023-05-01&type=pullrequests
See https://help.github.com/articles/searching-issues/ for more information how to search.