Not able to filter for issues having/not having PRs

Hello, Team!

I used the Python issue tracker, but it seems for me that there is no option for filtering issues according to having/not having a GitHub pull request. Can you add this functionality to the issue tracker?