Matthias Sohn 9424052f27 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		2023-02-11 01:19:28 +01:00
..
technical	Documentation/technical/reftable: improve repo layout	2020-02-11 11:52:35 +01:00
config-options.md	Add pack options to preserve and prune old pack files	2023-02-11 01:19:28 +01:00