jgit/org.eclipse.jgit
Ronald Bhuleskar 3b77e33ad8 CommitGraphWriter: add option for writing/using bloom filters
Currently, bloom filters are written and used without any way to turn
them off. Add a per-repo config variable to control whether bloom
filters are written. As for reading, add a JGit option to control this.
(A JGit option is used instead of a per-repo config variable as there is
usually no reason not to use the bloom filters if they are present, but
a global control to disable them is useful if there turns out to be an
issue with the implementation of bloom filters.)

The config that controls reading is the same as C Git, but the config
for writing is not: C Git has no config to control writing, but whether
bloom filters are written depends on whether bloom filters are already
present and what arguments are passed to "git commit-graph write". See
the manpage of "git commit-graph" for more information.

Change-Id: I1b7b25340387673506252b9260b22bfe147bde58
2023-07-18 14:21:48 -07:00
..
.settings Remove unused API problem filters 2023-07-16 15:13:05 +02:00
META-INF Prepare 6.7.0-SNAPSHOT builds 2023-05-24 17:31:26 +02:00
findBugs [spotbugs] Silence NP_BOOLEAN_RETURN_NULL in IgnoreNode#checkIgnored 2020-12-22 10:52:59 +01:00
resources/org/eclipse/jgit PackReverseIndexWriter: write out version 1 reverse index file 2023-04-28 10:19:18 -07:00
src/org/eclipse/jgit CommitGraphWriter: add option for writing/using bloom filters 2023-07-18 14:21:48 -07:00
.classpath Bump minimum required Java version to 11 2021-09-29 17:12:12 +02:00
.fbprefs
.gitignore
.project
BUILD CommitGraphWriter: write changed-path filters 2023-07-18 14:21:48 -07:00
about.html SHA-1: collision detection support 2017-02-28 16:38:43 -08:00
build.properties
plugin.properties Fix bundle localization of Apache SSH bundle 2019-06-21 17:54:06 +02:00
pom.xml CommitGraphWriter: write changed-path filters 2023-07-18 14:21:48 -07:00