How to find Issues with Merged PR

[Fabian E_]

I'd like to find all open issues that have a merged PR in order to find tickets that might have been forgotten to be resolved and therefore will probably ship to production untested.

JQL has the two terms `development[pullrequests].open` and `development[pullrequests].open`, but unfortunately no means to filter out `declined` PRs. So when I do `status not in (Closed, Resolved) AND development[pullrequests].all > 0 AND development[pullrequests].open = 0`, I will get both issues with `merged` and `declined` PRs. I'd like to only get the ones with `merged` PRs.

Is that possible somehow? If not, could this be added to JQL?