Launchpad: Search for another PR (GitHub)

[axosoft-ramint]

Add ability to search for a PR not in the Launchpad list. UX needs to be talked through.

Normally our algorithm provides the Launchpad with some subset of all PRs. So, the full list of PRs accessible to the user is wider. The current search looks only for PRs selected for the Launchpad and we want user to be able to search among all other available PRs.

The current idea, but needs discussion and may be changed:

• User can use the text input in the Launchpad quickpick, either in the main Launchpad list/step or through some other/new step, to search for a PR using its url. For example: https://github.com/gitkraken/vscode-gitlens/pull/3500. Or if that fails, we could just do a PR search with the integration using the user's search query.
• If no item in the existing categorized list matches the search, we check other PRs in the repo (or repos) matching the user's text to see if we can find a matching PR, and show a Focus item (default to "other" category) for it.
• The user can then open that item and take actions on it like any other Launchpad item.

Notes

• Should first discuss design/UX with the team. For example: should there instead be a "search for a different PR" button or action item in the Launchpad list? Would that make it more discoverable?
• Thinking of using integration.getPullRequest for the PR search when the user uses PR url, and integration.searchPullRequests for more general search, but the exact function/query may change depending on final design.
• Note that if we use integration.getPullRequest or integration.searchPullRequests, they must be implemented for GitLab since Launchpad supports GitLab as well (currently it is only implemented for GitHub). This might be a good opportunity to add this functionality to the shared provider library, but for now we can implement them locally for GitLab as needed.

Specs and delivery

PR1. Search by URL GitHub

If I copy and paste a PR url directly into the input box on the main step, it should search for that PR

1. ✅ filter the current list for the specified PR if it's there
2. ✅ otherwise search for the specified PR by its ID
3. ✅ make sure it's debounced properly
4. Fix few search bugs:

• ✅ Fix bug of not clearing the found item
• ✅ Fix bug of incorrect local search by PR-id

5. ✅ be friendly to incomplete URLs or URLs with additional parts

PR2. Add full search mode

Add an always visible item such as "Search everywhere". If it's clicked, switch to the mode that searches across all PRs the user has access to using the search terms.

1. ✅ Add full search mode
2. ✅ Bug: Local search cannot find items of collapsed groups.

Follow-ups

• Launchpad Search: search only when nothing is found #3763 : call API only when nothing is found locally
• Launchpad: API search for PRs on GitLab #3788 : GitLab
• The debouncer needs to be cancelled when the step is changed when the quickpick is closed

Developer's testing

Try different queries

1. A title or a repo name of a PR that exists in the Launchpad
2. A PR-number or a URL of a PR that exists in the Launchpad
3. An URL of a PR that does not exists in the Launchpad
4. Any query.

Supported expressions that get converted to a PR identity are reflected in the unit-test

Change query while searching

In order to debug this part I increase the debouncing timeout and add delays into the debounced procedure.

1. While searching get back from API search to local filter:
2. While searching get Back from API search to local search by URI

• in 1-2, check that the current search is cancelled, its result is not applied

3. While searching change the search query

• the second result is applied
• the first debounced promise is not cancelled, so it enters the finally method at the same time when the second query enters
• inside of the first debounced request we see that the cancellation token require us to cancel, so we don't apply the result

Change query after the search

1. After an API search get back to the local filter
2. After an API search get back to the local search by URI

• in 1-2, check that the additional search is removed from the result (e.g. it cannot be found by its title)

[github-actions]

This issue has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.