Sorry if I've missed something, but it doesn't seem to be possible to find a PR by name or by number. That makes the extension really hard to use for me since I have to manually browse the "All" list. In projects with hundreds of PRs this is impossible.
Sorry if I've missed something, but it doesn't seem to be possible to find a PR by name or by number. That makes the extension really hard to use for me since I have to manually browse the "All" list. In projects with hundreds of PRs this is impossible.