fix(local-repo): Fix autocomplete when repo includes default port#762

msukkari merged 3 commits intomainsourcebot-dev/sourcebot:mainfrom

michael/sou-231-bug-zoektname-and-reponame-are-different-for-local-repossourcebot-dev/sourcebot:michael/sou-231-bug-zoektname-and-reponame-are-different-for-local-reposCopy head branch name to clipboard