Searching issues

Search for issues and pull requests on github

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