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

brendan-kellam merged 2 commits intomainsourcebot-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