This message was deleted.

Creating a section with no filters and just that repo selected should do the trick

^^ this would show merged/closed PRs as well though, so i'd just exclude those and this would work

This is what I use as an additional section to show all PRs that are not in the default sections: