feat(gerrit): run git-gc-preserve on a daily timer #110

Merged
raito merged 1 commit from gerrit-gc into main 2024-09-28 20:13:42 +00:00
Owner
No description provided.
janik added 1 commit 2024-09-16 17:54:24 +00:00
janik requested review from raito 2024-09-16 17:54:32 +00:00
Author
Owner

fwiw: I didn't apply it yet

fwiw: I didn't apply it yet
janik force-pushed gerrit-gc from 09af4dfb7c to e5e578711c 2024-09-16 21:57:31 +00:00 Compare
raito reviewed 2024-09-17 14:52:01 +00:00
@ -0,0 +83,4 @@
};
};
mkTimer = lib.mapAttrs' mkGCTimer;
enabledTimers = lib.filterAttrs (_: gcConfig: gcConfig.timerConfig != null) cfg;
Owner

do we plan to have no timer but services? enabledTimers sounds like gcConfig.enable to me again

do we plan to have no timer but services? enabledTimers sounds like `gcConfig.enable` to me again
Author
Owner

I honestly don't know, I can remove it if you think it doesn't give any benefit.

I honestly don't know, I can remove it if you think it doesn't give any benefit.
Owner

I think let's keep it simple: gcConfig.enable

I think let's keep it simple: `gcConfig.enable`
Author
Owner

Done, feel free to merge if you think it looks good.

Done, feel free to merge if you think it looks good.
janik marked this conversation as resolved
janik force-pushed gerrit-gc from e5e578711c to d462e8ca9c 2024-09-18 20:28:54 +00:00 Compare
raito merged commit c86cefe21f into main 2024-09-28 20:13:42 +00:00
janik deleted branch gerrit-gc 2024-09-28 20:14:32 +00:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
2 participants
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#110
No description provided.