https://github.com/sourcegraph/sourcegraph-github-extras
A Sourcegraph extension that adds more GitHub integration features to Sourcegraph.
https://github.com/sourcegraph/sourcegraph-github-extras
repo-type-extension
Last synced: about 1 month ago
JSON representation
A Sourcegraph extension that adds more GitHub integration features to Sourcegraph.
- Host: GitHub
- URL: https://github.com/sourcegraph/sourcegraph-github-extras
- Owner: sourcegraph
- License: mit
- Created: 2018-10-30T09:22:15.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2022-09-07T09:34:53.000Z (over 3 years ago)
- Last Synced: 2026-01-15T17:03:46.573Z (about 2 months ago)
- Topics: repo-type-extension
- Language: TypeScript
- Homepage: https://sourcegraph.com/extensions/sourcegraph/github-extras
- Size: 152 KB
- Stars: 2
- Watchers: 61
- Forks: 1
- Open Issues: 2