the-distro/infra
8
0
Fork 3
Code Issues 34 Pull requests 3 Packages Projects 1 Releases Wiki Activity

Gerrit repository maintenance #100

New issue
Open
opened 2024-08-21 08:53:17 +00:00 by raito · 0 comments
raito commented 2024-08-21 08:53:17 +00:00
Owner
Copy link

We don't have very good Gerrit repository maintenance.

See https://groups.google.com/g/repo-discuss/c/evJW0ZJIDAk/m/hOjig7TAAAAJ for some insights.

Proposed action:

  • Backup nixpkgs repository to some location.
  • Remove the JGit GC.
  • Add a manual native git gc + git repack as a timer to run every day
  • Add monitoring for nixpkgs GC statistics, e.g. number of packfiles, etc.
We don't have very good Gerrit repository maintenance. See https://groups.google.com/g/repo-discuss/c/evJW0ZJIDAk/m/hOjig7TAAAAJ for some insights. Proposed action: - Backup nixpkgs repository to some location. - Remove the JGit GC. - Add a manual native `git gc` + `git repack` as a timer to run every day - Add monitoring for nixpkgs GC statistics, e.g. number of packfiles, etc.
:neocat_scream_scared: 1
Sign in to join this conversation.
No Branch/Tag specified
Branches Tags
main
alloy-patch
cache-ipv4
format
acls
hexchen/colmena-checker
hexy/credentials
buildbot
ckie/moarr-v4
gerrit-metrics
moar-builders
unplug-epyc
hydra-wire-up
alertmanager
fodwatch
cadvisor-containers
gerrit-http-clones
meta01
No results found.
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: the-distro/infra#100
No description provided.
Delete branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?