tsenart
Follow
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 upPinned
917 contributions in the last year
Activity overview
Contribution activity
December 2020
Created 2 commits in 2 repositories
Created a pull request in sourcegraph/sourcegraph that received 2 comments
vcs/git: Remove commandRetryer
This changeset removes the jurassic commandRetryer struct and logic, that was used by git.ResolveRevision and git.GetCommit. With gitserver now alw…
+45
−190
•
2
comments
Reviewed 10 pull requests in 2 repositories
sourcegraph/sourcegraph 9 pull requests
- repo-updater: Don't sync private repos on demand
- Add ListRepoNames method to Repo Store
- Instrument when gitserver janitor is running
- repo-updater: Lazily performs deletes in UpsertRepos
- Set read and write timeouts on gitserver http server
- repo-updater: Use unnest instead of json_to_recordset
- repo-updater: Move orphaned repo to background job
- db: Drop duplicate index.
- Emails page redesign
sourcegraph/about 1 pull request
Created an issue in sourcegraph/sourcegraph that received 5 comments
Enable different user added repo limits per user
We need internal users to be able to ingest large numbers of repos that normal users shouldn't. Follow up from https://docs.google.com/document/d/1…
5
comments
Opened 3 other issues in 1 repository
3
contributions
in private repositories
Dec 3