GitHub repository: sourcegraph/sourcegraph-github-extras
Primary language: TypeScript
Description: A Sourcegraph extension that adds more GitHub integration features to Sourcegraph.