fix(web): don't include sources in grep tool when groupByRepo=true - #1032

fix(web): don't include sources in grep tool when groupByRepo=true#1032

brendan-kellam merged 2 commits into

mainsourcebot-dev/sourcebot:mainfrom

brendan-kellam/fix-grep-groupbyrepo-sources-SOU-730sourcebot-dev/sourcebot:brendan-kellam/fix-grep-groupbyrepo-sources-SOU-730Copy head branch name to clipboard