These are in the top left hamburger menu from the Home dashboard (edit: actually on all pages).
These are in the top left hamburger menu from the Home dashboard (edit: actually on all pages).
There's probably a fair argument about how discoverable these are (especially given their labeling as "All Issues" and "All Pull Requests") but that tip is quite helpful to me personally. Thanks for sharing it, I really appreciate it!
I'd still love something a bit more obvious and intuitive but if it's just a UX failure that makes me feel a lot better.
I would have believed this until last week when they had a little banner informing me that I might not see all the PRs but that they really were there and that I could use such-and-such API to find them myself.
If the direct API existed and was working, but the web UI wasn’t seeing the PRs, then presumably it meant that the web UI was not optimizing the default trivial search query to use the direct API.