Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Sign up
Pinned
1,023 contributions in the last year
Activity overview
Contribution activity
August 2020
Created a pull request in sourcegraph/sourcegraph that received 1 comment
Add external services repos table
This PR adds support for a new table external_service_repos which contains the relationship between a repository and external services. That relati…
+1,376
−159
•
1
comment
- repo-updater: Add Cursor and Limit options to StoreListExternalServiceArgs
- db: delete external services upon user deletion
- repo-updater: Add PerPage to StoreListExternalServicesArgs
- external_services: add pagination options for List method
- external_services: add NoNamespace option to the List method
- external_services: use SQL to get distinct kinds
- usagestats: Use context for Redis connections
- RFC211: list external services allow filtering by user
- db: Add last_sync_at, next_sync_at and namespace_user_id
- tracer: remove support for lightstep
Created an issue in sourcegraph/sourcegraph that received 1 comment
New external_service_repos table
Create the external_service_repos table and migrate external_service sources column data to that table. Update stores to read sources data from tha…
1
comment