Option to exclude archived repo's from code search results

[jpraet]

Feature Description

I'm not quite sure if it should actually search through archived repo's though?

It's useful but could be improved to have option to exclude them from search results. Also would be cool for archived repo results to show after normal repo results (using priority weights)

Originally posted by @lafriks in #17817 (comment)

Screenshots

No response

[lunny]

I think maybe we need to upgrade the indexer version to support that. Some repositories' properties maybe need to store into indexer.

[silverwind]

Another question is how the UI should look. I think we should not clutter the interface too much, so I imagine a cogwheel icon with a popup menu of options on the right side of the search bar, possibly also including the existing option for fuzzy search in there.

[algernon]

Perhaps another approach could be to allow repositories to opt themselves out of the indexer?

This way, by default, everything would work as it does now. But repo owners could opt out of indexing, whether the repo is archived or not, which in turn would hide them from code search results.

The added benefit of this would be that even live repos could opt out of search, which I personally would find very useful too.