Remote URL replacement

[warrenseine]

The VS Code plugin provides a useful feature to replace the remote before building the SourceGraph URL. In settings.json, it looks like:

  "sourcegraph.remoteUrlReplacements": {
    "git.company.com": "git-web.company.com"
  },

I would like to see this setting implemented in the JetBrains plugin as well, ideally in the user-provided sourcegraph-jetbrains.properties file.

[Joelkw]

@warrenseine apologies for the delay on this! We'll take a look and likely ship this within the next month.

[warrenseine]

Awesome, thank you!

[slimsag]

FWIW, it is possible to do this by adding a sourcegraph Git remote that matches the Git repository URL found on your Sourcegraph instance. e.g.:

git remote add sourcegraph https://git-web.company.com/my/repo

Then the extension will utilize that code host URL in order to determine the repository URL on Sourcegraph.

[warrenseine]

That's good to know, thanks! I still prefer the option to set it in a single place if that's in the roadmap :)

[muratsu]

@warrenseine this feature has shipped and is publicly available with v1.2.1!

[warrenseine]

Thank you very much!