fix(search): Fix issue with filtering on generic git repo indexed from http/https #742

msukkari merged 2 commits intomainsourcebot-dev/sourcebot:mainfrom

cursor/SOU-218-local-indexed-repo-access-f642sourcebot-dev/sourcebot:cursor/SOU-218-local-indexed-repo-access-f642Copy head branch name to clipboard