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 was 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-nameof 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 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-namenot1.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).