diff options
| author | Matthias Sohn <matthias.sohn@sap.com> | 2023-02-10 21:05:47 +0100 |
|---|---|---|
| committer | Matthias Sohn <matthias.sohn@sap.com> | 2023-02-11 01:19:28 +0100 |
| commit | 9424052f2797fabd8e1cee7f404eddadc7e3f72b (patch) | |
| tree | e377be8141072a49ab031a9f712562b80f494df6 /org.eclipse.jgit.lfs.server/resources/org | |
| parent | ed2cbd9e8a5714295d0651885ccf3f67088c59b0 (diff) | |
| download | jgit-9424052f2797fabd8e1cee7f404eddadc7e3f72b.tar.gz jgit-9424052f2797fabd8e1cee7f404eddadc7e3f72b.zip | |
Add pack options to preserve and prune old pack files
Add the options
- pack.preserveOldPacks
- pack.prunePreserved
This allows to configure in git config if old packs should be preserved
during gc and pruned during the next gc.
The original implementation in 91132bb0 only allows to set these options
using the API.
Change-Id: I5b23ab4f317d12f5ccd234401419913e8263cc9a
Diffstat (limited to 'org.eclipse.jgit.lfs.server/resources/org')
0 files changed, 0 insertions, 0 deletions