Repo name search bug#707

msukkari wants to merge 1 commit intomainsourcebot-dev/sourcebot:mainfrom

cursor/SOU-175-repo-name-search-bug-fbbdsourcebot-dev/sourcebot:cursor/SOU-175-repo-name-search-bug-fbbdCopy head branch name to clipboard