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.
feat: add ability to search using a query (#200) * feat: add ability to search using a query * Updated Readme with shortcut and on-premise instructions * chore: fix formatting
feat: add option to remap URLs before opening (#24) This adds two options: sourcegraph.ignoreRemoteHostname: strips the hostname from a git-based remote. For example, `git@company.com:repo` becomes just `repo` if this is true sourcegraph.remoteUrlPrepend: a mapping from string -> string that allows simple remapping of remote names. If the remote hostname (user@host) matches the key, the value is prepended to the remote. For example, if this is `{"git@secondary.company.com": "two/"}, the repo `git@secondary.company.com:repo` becomes `two/repo` Fixes#8