07-02-25 Remote index
Build a remote workspace index
Remote workspace indexes are managed by GitHub. A remote index can provide high-quality results quickly, even for large projects. They also only have to be built once per GitHub project, instead of once per user. Given all these advantages, we have added several new ways to upgrade a project to a remote index:
- Run the new GitHub Copilot: Build Remote Index command.
- Select the Build Index button in the workspace index status UI. This only shows up if your project is eligible for remote indexing.
- Select the Build Index button in the first
@workspaceresponse you see. This only shows up if your project is eligible and also only shows once per workspace. Keep in mind that only projects with a GitHub remote can currently use a remote index. It may also take some time to build up the remote index, especially if your project is large. Check the Workspace index status UI to see if remote indexing has completed.