Highlights
- Arctic Code Vault Contributor
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
908 contributions in the last year
Activity overview
Contribution activity
August 2020
Created a pull request in sourcegraph/sourcegraph that received 1 comment
repo-updater: No private repos on sourcegraph.com
This commit makes it so that repo-updater's repo lookup endpoint returns a "not found" for any private repo in either github.com or gitlab.com. Thi…
+19
−0
•
1
comment
- docker images: copy redis instead of apk add, take 2
- docker images: copy redis instead of apk add
- Add external services repos table
- httpapi: External service api supports pagination
- external_services: update direct call sites to support pagination
- pings: RFC 197 (user accounting metrics)
- monitoring(frontend): use ratios instead of hard thresholds
- external_services: use SQL to get distinct kinds
- external_services: add NoNamespace option to the List method
- Adding a readonly database user
- Make BGREWRITEAOF actually best-effort
- chore: update third-party licenses
2
contributions
in private repositories
Aug 8 – Aug 12