Sourcebot git url ports#738

msukkari wants to merge 2 commits intomainsourcebot-dev/sourcebot:mainfrom

cursor/SOU-83-sourcebot-git-url-ports-7752sourcebot-dev/sourcebot:cursor/SOU-83-sourcebot-git-url-ports-7752Copy head branch name to clipboard