add Sourcegraph plugin