Ability to delete repos from file tree

Created by: jjinnii

Feature request description

As a user, I would like the ability to remove/delete repos from my file tree history.

Is your feature request related to a problem? If so, please describe.

In our current implementation, all repos that have been opened through the Sourcegraph extension remains in the file tree view. This acts as a history for users who want to access prior opened repos without having to go back to the search results, however this list can get unwieldy quickly as users open many files.

Describe alternatives you've considered.

In an earlier implementation of the VSCE, we only showed the repository of the file that was open in the file tree. (did not retain information of previously opened repos). While this would have solved the problem of an unwieldy or lengthy list of repos in the file tree, this deviates from VSCE expected file tree behavior and removes an important way for users in an IDE to navigate btw prior searches.

Additional context

This feature is based on the assumption that users will utilize the file tree as a way to navigate btw search results. It's important to do user testing or wait on user feedback to gain more data about how users understand and utilize the file tree section that is specific to our extension.