]> source.dussan.org Git - jgit.git/commit
Add pack options to preserve and prune old pack files 46/199846/2
authorMatthias Sohn <matthias.sohn@sap.com>
Fri, 10 Feb 2023 20:05:47 +0000 (21:05 +0100)
committerMatthias Sohn <matthias.sohn@sap.com>
Sat, 11 Feb 2023 00:19:28 +0000 (01:19 +0100)
commit9424052f2797fabd8e1cee7f404eddadc7e3f72b
treee377be8141072a49ab031a9f712562b80f494df6
parented2cbd9e8a5714295d0651885ccf3f67088c59b0
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
Documentation/config-options.md
org.eclipse.jgit.pgm/src/org/eclipse/jgit/pgm/Gc.java
org.eclipse.jgit/src/org/eclipse/jgit/lib/ConfigConstants.java
org.eclipse.jgit/src/org/eclipse/jgit/storage/pack/PackConfig.java