Add repo_statistics and gitserver_repos_statistics tables

Review changes
Download
Patches
Plain diff

Closed Add repo_statistics and gitserver_repos_statistics tables

mrn/repo-stats into main

Overview 16
Commits 19
Pipelines 0
Changes 8

Closed Warren Gifford requested to merge mrn/repo-stats into main 2 years ago

Overview 16
Commits 19
Pipelines 0
Changes 8

Created by: mrnugget

This adds two statistics tables that are purely populated via database triggers:

repo_statistics to hold information about the repo table (that's why it's repo_statistics and not repo*s*_statistics, because consistency)
gitserver_repos_statistics to hold information about the gitserver_repos table

Both tables allow us to cheaply query the number of cloned, cloning, not_cloned, soft_deleted, etc. repositories in a sourcegraph instance and we can even see how many repos are on which gitserver.

See this discussion for background: https://sourcegraph.slack.com/archives/C018CJQ5YBB/p1657276718654509

Demo video

https://user-images.githubusercontent.com/1185253/182858393-7b1b0d9e-b834-4a3d-bdbb-cc83a6dc62fb.mp4

Test plan

Lots of manual testing
Lots of testing in SQL REPL
Automated tests added

Merge request reports

Activity

Filter activity

Approvals
Assignees & reviewers
Comments (from bots)
Comments (from users)
Commits & branches
Edits
Labels
Lock status
Mentions
Merge request status
Tracking

Please register or sign in to reply

0 Assignees

None

Select assignees

0 Reviewers

None

Request review from

Labels

cla-signed

Select labels

Manage project labels

Milestone

None

Time tracking

No estimate or time spent

1 Participant

There are currently no pipelines.

To run a merge request pipeline, the jobs in the CI/CD configuration file must be configured to run in merge request pipelines and you must have sufficient permissions in the source project.