This repository was archived by the owner on Mar 10, 2022. It is now read-only.

Description
Somehow sourcegraph server and plugins compose repo name from remote origin inconsistently: plugins do not add port number.
Following "Generic Git host" configuration on the sourcegraph server leads to the name 1.2.3.4-12345/repo-name of repo:
{
"url": "http://1.2.3.4:12345",
"repos": ["repo-name.git"]
}
I've cloned repo locally (git clone "http://1.2.3.4:12345/repo-name.git" repo-name), opened it in VSCode and tried to use functionality open (Alt+A) on a file which got me the following query in sourcegraph's WebUI:
repo:^1\.2\.3\.4/repo-name$@branch_name file:^dir1%5Cdir2%5Cfile\.go
As we can see, port number is missing. The repo name is considered to be 1.2.3.4/repo-name not 1.2.3.4-12345/repo-name. Changing query manually to
repo:^1\.2\.3\.4-12345/repo-name$@branch_name file:^dir1%5Cdir2%5Cfile\.go
makes sourcegraph server successfully open target file.
I was able to reproduce bug on VSCode and SublimeText 3 (both Mac and Windows).