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

Extention doesn't produce the same repo name as sourcegraph server #86

@Enr1g

Description

@Enr1g

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).

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions