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
..
.settings	Silence API warnings introduced by I466dcde6	2023-01-31 23:45:07 +01:00
META-INF	Add missing package import javax.management to org.eclipse.jgit	2022-06-17 13:49:59 +02:00
findBugs	[spotbugs] Silence NP_BOOLEAN_RETURN_NULL in IgnoreNode#checkIgnored	2020-12-22 10:52:59 +01:00
resources/org/eclipse/jgit	AmazonS3: Add support for AWS API signature version 4	2022-06-13 09:44:23 +02:00
src/org/eclipse/jgit	Add pack options to preserve and prune old pack files	2023-02-11 01:19:28 +01:00
.classpath	…
.fbprefs	…
.gitignore	…
.project	…
BUILD	Fix stamping to produce stable file timestamps	2020-12-14 15:45:29 +01:00
about.html	…
build.properties	…
plugin.properties	Fix bundle localization of Apache SSH bundle	2019-06-21 17:54:06 +02:00
pom.xml	Prepare 5.13.2-SNAPSHOT builds	2022-06-14 00:41:18 +02:00