You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Mar 10, 2022. It is now read-only.
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:
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: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 functionalityopen
(Alt+A) on a file which got me the following query in sourcegraph's WebUI:As we can see, port number is missing. The repo name is considered to be
1.2.3.4/repo-name
not1.2.3.4-12345/repo-name
. Changing query manually tomakes sourcegraph server successfully open target file.
I was able to reproduce bug on VSCode and SublimeText 3 (both Mac and Windows).
The text was updated successfully, but these errors were encountered: