search fails to find most results, sometimes can get results if a specific file is opened

[diablodale]

Search on a remote github repo fails to find most results. No known workaround.

Setup

Version: 1.88.1 (system setup)
Commit: e170252f762678dec6ca2cc69aba1570769a5d39
Date: 2024-04-10T17:41:02.734Z
Electron: 28.2.8
ElectronBuildId: 27744544
Chromium: 120.0.6099.291
Node.js: 18.18.2
V8: 12.0.267.19-electron.0
OS: Windows_NT x64 10.0.22631

Name: GitHub Repositories
Id: GitHub.remotehub
Description: Remotely browse and edit any GitHub repository
Version: 0.62.0
Publisher: GitHub
VS Marketplace Link: https://marketplace.visualstudio.com/items?itemName=GitHub.remotehub

Repro

1. Run VSCode for Windows
2. Click bottom left blue icon in bottom tray, click open remote repository, choose repo from github
3. Paste in woocommerce/woocommerce-google-analytics-integration and select it again when prompted
4. Verify you see the repo's files on the left. If prompted to trust, agree yes to trust.

log1.txt

5. Click search icon in left toolbar
6. Verify there are no files to include or exclude. Verify "only open files" is not selected.
7. type select_content as the search term

Result

Most of the results are missing. Only two appear.

log2.txt

Deselecting "Use exclude settings and ignore files" does not change the result list. It continues to be errant.

Perhaps related
#175
#320

Expected

Correct is 10 results.
This is the same repo cloned locally

[joyceerhl]

I'm unable to reproduce this behavior unfortunately. Which repo does this occur in so I can try to repro? When you first open the repo or run a text search, does a notification appear saying that it is downloading the repository index, and if so, does this download succeed? We rely on the downloaded index to provide accurate search results.

[diablodale]

@joyceerhl please see the repo steps in the OP. Step 3 has your answer.

[joyceerhl]

Ah perfect, sorry I missed that! I can repro now 👍