search: Add repo: filter if necessary when a revision filter is clicked (!25076) · Merge requests · Administrator / sourcegraph

Administrator requested to merge fkling/24841-sidebar-revisions into main Sep 17, 2021

Created by: fkling

This PR builds on top of #24996 (closed) and changes the submitQuery action to accept multiple modifications instead. This is certainly not the final structure of the API, but it shows the direction this could go.

https://user-images.githubusercontent.com/179026/133821911-7bb551f8-352f-4efc-bdab-3c51357d4116.mp4

search: Add repo: filter if necessary when a revision filter is clicked

Merge request reports