Sourcegraphサーバーのインストール 2018/11/16 Tools Gitで管理しているソースを検索したい、そんな時に便利なSourcegraph。 Github向けなどのブラウザ拡張もあるようですが、サーバ...