GitHub - repo quick pick is sorts jumpy and unexpected
#163.603 geöffnet am 13. Okt. 2022
Repository-Metriken
- Stars
- (74.848 Stars)
- PR-Merge-Metriken
- (Durchschn. Merge 11h 43m) (1.000 gemergte PRs in 30 T)
Beschreibung
Type: Bug
Trying to open the vscode-pull-request-github repo, it seems like it mixes local search with delayed online results that lead to results jumping around async and being sorted rather unexpected.
Video of typing vscode-*pull* where vscode-pull-request-github is sorted on top first, but is after some delay replaced by some fork.
https://user-images.githubusercontent.com/8599/195728952-ef964400-1350-49a2-a0ef-8fdc3f78486d.mov
VS Code version: Code - Insiders 1.73.0-insider (a8108049ab61b970f2ec1839dfb753054e07395e, 2022-10-13T05:19:29.769Z) OS version: Darwin x64 21.6.0 Modes: Sandboxed: No